Project

Profile

Help

Actions
Send by e-mail Copy link

Issue #5990

closed

Travis fails to check out merged PRs

Added by daviddavis over 4 years ago. Updated about 4 years ago.

Status:
CLOSED - CURRENTRELEASE
Priority:
Normal
Assignee:
daviddavis
Category:
-
Sprint/Milestone:
-
Start date:
Due date:
Estimated time:
Severity:
2. Medium
Version:
Platform Release:
OS:
Triaged:
No
Groomed:
No
Sprint Candidate:
No
Tags:
CI/CD, Plugin Template
Sprint:
Sprint 64
Quarter:

Description

Error:

  if [ -n "$PULP_SMASH_PR_NUMBER" ]; then
    cd pulp-smash
    git fetch --depth=1 origin +refs/pull/$PULP_SMASH_PR_NUMBER/merge
    git checkout FETCH_HEAD
    cd ..
  fi
fatal: couldn't find remote ref refs/pull/1228/merge

This seems to fail for merged PRs but I noticed that the github help docs[0] recommend using git fetch origin pull/ID/head:BRANCHNAME which seems to work with merged PRs.

[0] https://help.github.com/en/github/collaborating-with-issues-and-pull-requests/checking-out-pull-requests-locally

Actions
Send by e-mail Copy link

Also available in: Atom PDF