Page MenuHomePhabricator

AbuseFilterBypass GitHub mirror: Switch master as the default branch, remove the dev branch entirely
Closed, ResolvedPublic

Description

The AbuseFilterBypass extension was originally developed by and for Wikia; the default branch of Wikia's GitHub repo is not "master" but rather "dev".

Somehow this meant that when the history for the gerrit repo was imported from Wikia's GitHub repo in December 2019, the "dev" branch was set as the default instead of "master" for the GitHub mirror of the AbuseFilterBypass extension repository. This can be confusing for users using the GitHub mirror for whatever reason(s). The "dev" branch in reality should not exist at all and visiting the URL https://github.com/wikimedia/mediawiki-extensions-AbuseFilterBypass should show contents of the "master" branch instead.

Event Timeline

ashley created this task.Feb 16 2020, 3:54 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptFeb 16 2020, 3:54 PM

Our codebase just lists the master branch: https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/AbuseFilterBypass,branches so I'll go ahead and kill the dev branch which do not exist on Gerrit, and switch the default branch to master.

Restricted Application added a project: User-MarcoAurelio. · View Herald TranscriptFeb 16 2020, 9:21 PM

Mentioned in SAL (#wikimedia-releng) [2020-02-16T21:24:13Z] <hauskatze> AbuseFilterBypass@github: Switch default branch of mirror to 'master' | T245363

Mentioned in SAL (#wikimedia-releng) [2020-02-16T21:24:53Z] <hauskatze> AbuseFilterBypass@github: Deleted 'dev' branch | T245363

MarcoAurelio closed this task as Resolved.Feb 16 2020, 9:26 PM
MarcoAurelio moved this task from Backlog to config on the Wikimedia-GitHub board.

Done.