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]