RSSAmplifier

Max Leiter · Nov 18, 2021

run-pr.sh

0
Sign in to vote or save

This page did not load. You can still read it on the original site — the toolbar below keeps your place in the directory.

Today I found myself once again trying to run a pull request that was created in a different GitHub repository. If it was in the same repo, it would be a simple `git checkout`, however because GitHub insisted on the creation of "forks" I now need to go through the extra steps of fetching that specific ref. Here's what I do: git fetch https://github.com/${team}/${respository}.git…

Read on maxleiter.com

Comments

Nothing yet. Say the first thing.

    Sign in to join the conversation.