github_merge: add options