Issue953

Title support git in the repo tool
Priority feature Status unread
Superseder Nosy List jendrik, malte, patfer
Assigned To Keywords
Optional summary

Created on 2019-12-19.16:51:32 by patfer, last changed by patfer.

Messages
msg9128 (view) Author: patfer Date: 2019-12-19.16:51:32
After sprint summary:

As we want to move Fast Downward to git, we also thought of adding git support
to the repo tool (this is not required for the conversion to git, just a nice to
have)
History
Date User Action Args
2019-12-19 16:51:32patfercreate