Revision 6 as of 2020-02-27 11:26:00

Clear message

Back to developer page.

Git

Our Git workflow (work in progress)

Outcome of the discussion in the Fast Downward meeting on 21 February:

Best practices:

Suggested workflow: