Revision 1 as of 2020-02-25 13:14:16

Clear message

Back to developer page.


Our Git workflow (work in progress)

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

TODO: add infos on how to do something like git bisect with --first-parent etc. (Malte sent a few links)

TODO: github workflow: can we use their features, such as for merging pull request of extern collaborators, if that ever happens?

TODO: old suggestion for workflow, needs to be adapted according to above discussion: