Closed cafaxo closed 4 years ago
I am all for it - is that possible in the web interface?
I think it's a good idea to have a clean setting. The version with an extra branch for the seminar is nice - just to see how we got there.
Done. The old master branch is here: https://github.com/gaioguy/GAIO.jl/tree/seminar
In the current master branch, we have some old commits related to seminar content, etc. I suggest the following: We rename the current master branch to "seminar" in order to save the original history. Then we make this branch the default branch, rename it to "master" and continue development from there. This branch has a cleaned-up history.
We do not HAVE to make this change. But if we want to do it, we should do it now, since it requires rewriting the whole git history and is generally discouraged once a larger number of commits exist in the repo.
What do you think?