Closed maikkirapo closed 7 years ago
Checkout master and rebase to get newest .gitignore
ignoring files inside build
.
git checkout master
git pull
git checkout featuring_guyan_reduction
git rebase master
To remove unnecessary files:
git rm -r build
After removing unwanted files and commiting changes to repository, you may want to rebase changes, i.e. squash commits to single one, see https://www.google.fi/search?q=git+squash
Read this: https://github.com/JuliaLang/julia/blob/master/CONTRIBUTING.md
Could you squash these commits also?
Notice that I have merged conflicts already, so you may need to pull changes to local computer before squashing.
Files inside
build
should not be added to repository, how did you add files?