contrib/github_merge/man/github_merge.man

   1 # NAME
   2
   3 github_merge - Query the Github PR API to perform a merge.
   4
   5 # SYNOPSIS
   6
   7 github_merge [OPTION]... <PR number...>
   8
   9 # OPTIONS
  10
  11 ### `-h`, `-?`, `--help`
  12 Show this help message.
  13
  14 ### `-r`, `--repo`
  15 Repository (e.g. nitlang/nit).
  16
  17 ### `--auth`
  18 OAuth token.
  19
  20 ### `-q`, `--query`
  21 Query to get issues (e.g. label=ok_will_merge).
  22
  23 ### `--status`
  24 A status context that must be "success" (e.g. default).
  25
  26 ### `-a`, `--all`
  27 Merge all.
  28
  29 ### `-k`, `--keep-going`
  30 Skip merge conflicts.