Merge requests

In case of fire and earthquake, git commit, git push and then leave the building.