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

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.

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