diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2020-09-02 11:06:26 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-09-02 11:06:26 +0000 |
| commit | 37ab0d435fe01bd324a09a177f62bb853064a0bd (patch) | |
| tree | cbdcf9a8835fef1839602751d156fee8f9f97a82 | |
| parent | 2020-09-02 10:05:32 UTC (diff) | |
| parent | git-r3.eclass: fetch pullrequest refs on mirror clone type (diff) | |
| download | gentoo-37ab0d435fe01bd324a09a177f62bb853064a0bd.tar.gz gentoo-37ab0d435fe01bd324a09a177f62bb853064a0bd.tar.bz2 gentoo-37ab0d435fe01bd324a09a177f62bb853064a0bd.zip | |
Merge updates from master
| -rw-r--r-- | eclass/git-r3.eclass | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/eclass/git-r3.eclass b/eclass/git-r3.eclass index 6c75d11218ce..cda7ac161e92 100644 --- a/eclass/git-r3.eclass +++ b/eclass/git-r3.eclass @@ -683,6 +683,8 @@ git-r3_fetch() { "+refs/tags/*:refs/tags/*" # notes in case something needs them "+refs/notes/*:refs/notes/*" + # pullrequest refs are useful for testing incoming changes + "+refs/pull/*/head:refs/pull/*" # and HEAD in case we need the default branch # (we keep it in refs/git-r3 since otherwise --prune interferes) "+HEAD:refs/git-r3/HEAD" |