Update .gitignore
Delete integration branches on PR-merge

Pair programming with @Vagabond.

We had to do some hackery around github retries, as the current
github.py is not very flexible. It also didn't properly handle
204 responses, as there was no content-type in the headers.