Learn more about these different git repos.
Other Git URLs
I was experimenting with checking out PRs locally and possibly updating / editing them. Doing so, I accidentally pushed two branches while I intended to update the existing PR branch/ref.
The branches to be removed are:
pr4
pr/4
Both branches only contain one commit I amended in relation to PR 4. Nothing will get lost.
Metadata Update from @jnsamyak: - Issue tagged with: low-gain, low-trouble, ops
Metadata Update from @jnsamyak: - Issue assigned to jnsamyak
Log in to comment on this ticket.