Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix: handle branch names mismatch #1708
Description of the Change
This PR introduces the use of
This PR changes how the underlying git operations work, which is used by many things in the package; so the possible setback is if things break in edge cases that I haven't thought of.
Added unit tests to verify that push & pull & fetch work as expected despite the difference between local branch name and its upstream branch name.
Manually tested push & pull & fetch operations in these cases: