diff options
author | Harsh Shandilya <me@msfjarvis.dev> | 2020-12-11 11:23:48 +0530 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-11 11:23:48 +0530 |
commit | 67393ef62d386d0ce61838fe1d2dff8d6cbae5ee (patch) | |
tree | add3a4e73b051569bf177fa9add74365f53d1af7 /openpgp-ktx/api/openpgp-ktx.api | |
parent | ce2e657108187a34416cfbfc0c5d2fc8bb9277f3 (diff) |
github: checkout PR head when running checks (#1247)
Fixes: 29778e0e3da9 ("Strip down README to feature new docs and Discussions (#1243)")
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to 'openpgp-ktx/api/openpgp-ktx.api')
0 files changed, 0 insertions, 0 deletions