I'm writing a continuous integration step that checks the titles of our pull requests for proper tags and formatting before allowing them to be merged.
To do this, I need to echo the title of the Pull Request when given the PR number. Is there a way to do this simply in command line?
If you are using github:
Locate the section for your github remote in the
.git/configfile. It looks like this:Now add the line
fetch = +refs/pull/*/head:refs/remotes/origin/pr/*to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:Now fetch all the pull requests:
To check out a particular pull request: