diff options
author | mrb0nk500 <b0nk@b0nk.xyz> | 2022-07-31 17:49:19 -0300 |
---|---|---|
committer | mrb0nk500 <b0nk@b0nk.xyz> | 2022-07-31 17:49:19 -0300 |
commit | fb6bcf3f91b0297f218a91cedabfbed875c1b432 (patch) | |
tree | 1b1106c7de57802aa7284f78c8f8292afd645077 /misc.c | |
parent | 2cce8f101f772105244405667b9ba15ac2933146 (diff) |
git: Add support for specifying the name of a repo when getting, and
creating PRs
This allows for repos to have their own set of PRs, rather than only
having a global set of PRs.
Although, if you leave the repo name empty, then it will treat it as a
global PR, rather than a repo specific PR.
Diffstat (limited to 'misc.c')
0 files changed, 0 insertions, 0 deletions