diff options
| author | mrb0nk500 <b0nk@b0nk.xyz> | 2022-07-28 13:54:05 -0300 |
|---|---|---|
| committer | mrb0nk500 <b0nk@b0nk.xyz> | 2022-07-28 13:54:05 -0300 |
| commit | 2ddb5741c9d6c8a0942e0a73f66d21617cf378e8 (patch) | |
| tree | ee13302392deaaac17649b524e22323427c3e569 /config.h | |
| parent | d55488c605c425815c641f22aa46c398da20a950 (diff) | |
git: Implement all of `get_pull_request()`
`get_pull_request()` takes an index, and the main PR root, and returns
the PR of the supplied index if it exists, or NULL if no PR with that
index exists.
Diffstat (limited to 'config.h')
0 files changed, 0 insertions, 0 deletions