diff options
Diffstat (limited to 'UserMerge/gitinfo.json')
| -rw-r--r-- | UserMerge/gitinfo.json | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/UserMerge/gitinfo.json b/UserMerge/gitinfo.json deleted file mode 100644 index 4a8958d5..00000000 --- a/UserMerge/gitinfo.json +++ /dev/null @@ -1 +0,0 @@ -{"remoteURL": "https://gerrit.wikimedia.org/r/mediawiki/extensions/UserMerge", "headCommitDate": "1547405747", "branch": "66c703068fa0089cb5644129158a8c50b0b12fef\n", "head": "66c703068fa0089cb5644129158a8c50b0b12fef\n", "headSHA1": "66c703068fa0089cb5644129158a8c50b0b12fef\n"}
\ No newline at end of file |