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 /.idea/jarRepositories.xml | |
| 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 '.idea/jarRepositories.xml')
0 files changed, 0 insertions, 0 deletions