diff options
| author | mrb0nk500 <b0nk@b0nk.xyz> | 2022-07-13 15:55:56 -0300 |
|---|---|---|
| committer | mrb0nk500 <b0nk@b0nk.xyz> | 2022-07-13 16:04:31 -0300 |
| commit | b93ca4a3a70cad569e5ab8056923f90043b4b0e9 (patch) | |
| tree | 6a4ca91072e80e5dd6ae241dd91d128256a0dcd0 /pullreqd.c | |
| parent | e37c23faf8f010ad9c35a29179ddefb6d34f746b (diff) | |
git: Add index type
An index is a type of identifier that'll be used for identifying PR's.
Indexes can either be named, or numbered, and can also contain another
index within them, with each subsequent index being seperated by '-'s.
Diffstat (limited to 'pullreqd.c')
0 files changed, 0 insertions, 0 deletions