Revision 3 as of 2020-02-27 10:09:14

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:

Discussion on workflow: