Script to help one adopt a branch#891

Open

prescod wants to merge 4 commits intomainfrom

add-adopt-branch-script

Commits on May 12, 2023

Script to help one adopt a branch
Paul Prescod
committed
Do it based on PR instead
Paul Prescod
committed
Go from a PR, not a URL.
Paul Prescod
committed
Make a better PR.
Paul Prescod
committed