Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ensuring correct git branch before "pulling"
Rather than performing a git pull, (which merges the desired branch into the current one, even if they aren't the same), this ensures the repo is on the correct branch before merging. Fixes bevry#7
- Loading branch information