Hello users of https://github.com/fricas/fricas,
I have to make a bad and a good announcement. Due to a system upgrade my git repository that I used for transferring the commits from sourceforge to github was deleted. There was no identical backup. So I recreated the git repository from scratch with data from the svn repo at sourceforge. That went well up to some nasty details. I realized that the previous git-repository was actually corrupt in the meta-data (the files were the same). There was one commit that showed different date and time. And at another place two svn commits appeared as one git commit. So recreating the git repository fixed these problems, but, of course, leads to different git-hashes. Since the git-hash of "master" changed anyway, I took the liberty and renamed my author email address in the repo to [email protected] in all places. In total that leave identical hashes up to r413 (03e23911cb2c79507892f15d21982311f442340f). I know one shouldn't change public branches, but I consider it more important that https://github.com/fricas/fricas traces the exact history of the svn repo. I have still left the old branches and tags in the repository. They start with "wrong/" and will eventually be removed if nobody complains. As long as you don't have any personal work in your git repo (local or at github), the update is quite simple. Anyway, first make a backup of your "fricas" directory (including the .git directory)! I assume here that you have pressed the FORK button at github, cloned YOUR fork to your local computer and added an upstream repository like this: git remote add upstream https://github.com/fricas/fricas.git Now, on your local computer issue git fetch --tags git push --tags --force That will update all the tags in your local and your github repository. Depending on how you track upstream/master, you have to point "master" or "trunk" to "upstream/master" and then push it to github. If you are in doubt tell me about your situation an I'll help you with the transition. I hope that this will not happen again. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/210c665f-e84c-0f5e-438e-5637012b2c2b%40hemmecke.org.
