Closed DrLeturc closed 1 year ago
https://github.com/HyperAgents/ns.hyperagents.org/branches
-> What do we do with the branches that are currently open?
-> What happens to branches that have already been merged?
-> Which branches should be considered as main branches? (One main branch per domain? )
-> All PR should be done at the end of the plenary ?
(15min)
We did it. So it can be close.
I think we should clean now all GIT branches according to what has been decided in the plenary.