path: root/UserFunctions/gitinfo.json

{"headSHA1": "bc716c9f885422efce6d35cd08d4ca34d21a01eb\n", "head": "bc716c9f885422efce6d35cd08d4ca34d21a01eb\n", "remoteURL": "https://gerrit.wikimedia.org/r/mediawiki/extensions/UserFunctions", "branch": "bc716c9f885422efce6d35cd08d4ca34d21a01eb\n", "headCommitDate": "1539259533"}