diff options
| author | mrb0nk500 <b0nk@b0nk.xyz> | 2022-08-05 13:44:20 -0300 |
|---|---|---|
| committer | mrb0nk500 <b0nk@b0nk.xyz> | 2022-08-05 13:44:20 -0300 |
| commit | 689f0738581ee6dec440d7123e5431f4a78adaf9 (patch) | |
| tree | 2d2db83c7cd1d2b58a8c9f0b1f1befca6f6ff309 /log.h | |
| parent | 9f58d83f1d7116c824ff074184a6c90556410b5b (diff) | |
git: Add `create_pull_request_branch()`
This takes in the PR, the index of that PR, and the repo the PR is for,
and will create a branch for that PR in the given repo.
Currently it only supports working with remote branches, but eventually
it'll support patch files too.
Diffstat (limited to 'log.h')
0 files changed, 0 insertions, 0 deletions