2020-06-02 - releng
10:31 <Lucas_WMDE> wikidata/query/gui-deploy: recreated production branch (commit 9cab76d1281a1198766b485c815bc753d4171e94), pointed HEAD to production, deleted master branch, cf. T254027 [releng]