Issue 951: Design new development workflow for git - Fast Downward issue tracker

Title	Design new development workflow for git
Priority	feature	Status	resolved
Superseder		Nosy List	cedric, jendrik, malte, patfer, silvan, thomas
Assigned To		Keywords
Optional summary

Created on 2019-12-19.16:42:44 by patfer, last changed by silvan.

Messages
msg9681 (view)	Author: silvan	Date: 2020-07-27.22:05:57
I think we decided on our workflow, so I'm marking this as resolved.
msg9677 (view)	Author: malte	Date: 2020-07-27.17:19:02
Is this resolved? If not, what is missing?
msg9127 (view)	Author: silvan	Date: 2019-12-19.16:50:29
I wrote the steps down that I used for creating a test issue and running experiments, but the file is on my computer in the office... Will post after holidays.
msg9124 (view)	Author: patfer	Date: 2019-12-19.16:42:44
After sprint summary: We still have to come up with a new development workflow (replacing our old branch and merge system used for mercurial) once we use git.

History
Date	User	Action	Args
2020-07-27 22:05:57	silvan	set	status: chatting -> resolved messages: + msg9681
2020-07-27 17:19:02	malte	set	messages: + msg9677
2020-06-29 13:03:27	malte	set	priority: urgent -> feature
2019-12-20 11:31:37	thomas	set	nosy: + thomas
2019-12-19 16:50:29	silvan	set	status: unread -> chatting messages: + msg9127
2019-12-19 16:42:44	patfer	create