diff options
| author | eric sciple <ericsciple@users.noreply.github.com> | 2019-12-04 10:12:10 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-04 10:12:10 -0500 |
| commit | 9cd5836e75e1d4e738850839f9556d7976e83cbe (patch) | |
| tree | 510469c9136b5994da18429ae65cfff0c96ab1d3 /src/misc | |
| parent | 0d5f671e74e98555f4f1e919cd88ed0191789585 (diff) | |
document scenario: checkout the head commit of a PR (#90)
Diffstat (limited to 'src/misc')
0 files changed, 0 insertions, 0 deletions