Directories
¶
| Path | Synopsis |
|---|---|
|
cmd
|
|
|
gokr-amend
gokr-amend is a tool to amend GitHub pull requests, to be used in continuous integration runs (e.g.
|
gokr-amend is a tool to amend GitHub pull requests, to be used in continuous integration runs (e.g. |
|
gokr-merge
gokr-merge merges GitHub pull requests with the right labels.
|
gokr-merge merges GitHub pull requests with the right labels. |
|
internal
|
|
Click to show internal directories.
Click to hide internal directories.