github_merge: less crashes