When new commit is merged in WDQS GUI master branch, the following should happen:
- Check out GUI repo (or use existing checkout)
- npm install
- grunt build
- Create a new patch with contents of dist directory against /wikidata/query/gui-deploy repo production branch. The patch should keep the commit message of the original patch, plus have additional line giving ID of the merged commit.
- Send this new patch to gerrit for approval.