Issue950

Title Migration Script hg to git
Priority urgent Status in-progress
Superseder Nosy List cedric, jendrik, malte, patfer, silvan
Assigned To patfer Keywords
Optional summary

Created on 2019-12-19.16:40:31 by patfer, last changed by patfer.

Messages
msg9122 (view) Author: patfer Date: 2019-12-19.16:40:31
After sprint summary:

We want a tool which automatically converts our Fast Downward repositories from
mercurial to git.

I am working on this. A first (slightly outdated) version exists and can be seen at
https://github.com/aibasel/convert-downward/pull/2

TODO:
- finish conversion for .hgignore to .gitignore (by simple rules and a user
given list of mappings, by user I mean me who creates a default list for our
rules which cannot be converted automatically)
- all branches are open again. Decide what we want to do about them. One suggestion:
#Archive (maybe our new close) branch
git tag archive/<branchname> <branchname>
git branch -d <branchname>
git checkout master

# Reopen branch
git checkout -b new_branch_name archive/<branchname>
History
Date User Action Args
2019-12-19 16:40:31patfercreate