Tasks #2088
Delete svn repository
Status: | Resolved | Start date: | 11/19/2014 | |
---|---|---|---|---|
Priority: | Normal | Due date: | 11/19/2014 | |
Assignee: | J. Wienke | % Done: | 100% | |
Category: | - | |||
Target version: | - |
Description
After migration from svn to git, #2085, we can delete the svn repository, if no-one objects. Otherwise one could mistakenly still commit to the deprecated svn.
Johannes, any objections? Do you want me to keep the svn log or anything else?
Related issues
History
#1 Updated by Anonymous over 9 years ago
- Follows Tasks #2085: Migrate from svn to git added
#2 Updated by J. Wienke over 9 years ago
I would prefer a git repo per tutorial via git svn to preserve the full history.
#3 Updated by J. Wienke over 9 years ago
How do we proceed with this?
#4 Updated by S. Wrede over 9 years ago
Delete it!
#5 Updated by J. Wienke over 9 years ago
But what was the idea to lose all history??
#6 Updated by S. Wrede over 9 years ago
Just talk to Arne, plz.
#7 Updated by J. Wienke over 9 years ago
That's what I was trying in this issue ;)
#8 Updated by S. Wrede over 9 years ago
Args. Can't you just move your body to his office!? Anyway. I am not going to reply further to this issue.
#9 Updated by J. Wienke over 9 years ago
- Status changed from Feedback to Resolved
- % Done changed from 0 to 100
Tutorials have been converted to individual git repos with complete history, ci jobs are adapted (tutorial-*) and other repos have been deleted.