Closed rburghol closed 1 year ago
There must be some weird special character in there. I did the following:
git checkout 3ad76a09b13f5fbb51210a76051407b287b4b578
sudo pip install .
git checkout -b specdev
git push origin specdev
specdev
develop
There must be some weird special character in there. I did the following:
git checkout 3ad76a09b13f5fbb51210a76051407b287b4b578
sudo pip install .
git checkout -b specdev
git push origin specdev
sudo pip install .
specdev
to the branchdevelop
github reports no differences...