# Get a shell with the right user to not mess up with permissions, for stat1002 was mwdeploy
$ sudo su
$ su - mwdeploy -s /bin/bash
# Go to the cloned repo
$ cd /a/mediawiki/core
# Verify is the correct error
$ git pull
remote: internal server error
fatal: protocol error: bad pack header
# Apply the fix
$ cp .git/config .git/config.backup
$ git remote remove origin
$ mv .git/config.backup .git/config
$ git fetch
remote: Counting objects: 102856, done
remote: Finding sources: 100% (4026/4026)
remote: Getting sizes: 100% (80/80)
remote: Compressing objects: 100% (92102/92102)
remote: Total 4026 (delta 3436), reused 4019 (delta 3434)
Receiving objects: 100% (4026/4026), 3.87 MiB | 0 bytes/s, done.
Resolving deltas: 100% (3436/3436), completed with 1527 local objects.
From https://gerrit.wikimedia.org/r/p/mediawiki/core
 * [new branch]      master     -> origin/master
 * [new branch]      REL1_1     -> origin/REL1_1
 * [new branch]      REL1_10    -> origin/REL1_10
 * [new branch]      REL1_11    -> origin/REL1_11
 * [new branch]      REL1_12    -> origin/REL1_12
 * [new branch]      REL1_13    -> origin/REL1_13
 * [new branch]      REL1_14    -> origin/REL1_14
 * [new branch]      REL1_15    -> origin/REL1_15
 * [new branch]      REL1_16    -> origin/REL1_16
 * [new branch]      REL1_17    -> origin/REL1_17
 * [new branch]      REL1_18    -> origin/REL1_18
 * [new branch]      REL1_19    -> origin/REL1_19
 * [new branch]      REL1_2     -> origin/REL1_2
 * [new branch]      REL1_20    -> origin/REL1_20
 * [new branch]      REL1_21    -> origin/REL1_21
 * [new branch]      REL1_22    -> origin/REL1_22
 * [new branch]      REL1_23    -> origin/REL1_23
 * [new branch]      REL1_24    -> origin/REL1_24
 * [new branch]      REL1_25    -> origin/REL1_25
 * [new branch]      REL1_26    -> origin/REL1_26
 * [new branch]      REL1_27    -> origin/REL1_27
 * [new branch]      REL1_28    -> origin/REL1_28
 * [new branch]      REL1_3     -> origin/REL1_3
 * [new branch]      REL1_4     -> origin/REL1_4
 * [new branch]      REL1_5     -> origin/REL1_5
 * [new branch]      REL1_6     -> origin/REL1_6
 * [new branch]      REL1_7     -> origin/REL1_7
 * [new branch]      REL1_8     -> origin/REL1_8
 * [new branch]      REL1_9     -> origin/REL1_9
 * [new branch]      fundraising/REL1_22 -> origin/fundraising/REL1_22
 * [new branch]      fundraising/REL1_23 -> origin/fundraising/REL1_23
 * [new branch]      fundraising/REL1_25 -> origin/fundraising/REL1_25
 * [new branch]      fundraising/REL1_26 -> origin/fundraising/REL1_26
 * [new branch]      fundraising/REL1_27 -> origin/fundraising/REL1_27
 * [new branch]      sandbox/jdlrobson/design -> origin/sandbox/jdlrobson/design
 * [new branch]      sandbox/twentyafterfour/group0 -> origin/sandbox/twentyafterfour/group0
 * [new branch]      wmf/1.29.0-wmf.1 -> origin/wmf/1.29.0-wmf.1
 * [new branch]      wmf/1.29.0-wmf.2 -> origin/wmf/1.29.0-wmf.2
 * [new branch]      wmf/1.29.0-wmf.3 -> origin/wmf/1.29.0-wmf.3
$ git status
On branch master
Your branch is up-to-date with 'origin/master'.
$ git pull
Already up-to-date.