Merging Procedures

Merging procedures

If a developer really wants to merge his/her branch with the develop the following procedure applies:

• Check in the list of pull requests how many branches and of which kind are present.
• Check which branch is currently under consideration for the merge.
• In case there no branches of the same kind of yours you can open a pull request.

Robots

The condition to open a pull request are

• No commits in the last two weeks
• The branch is test-suite green on the validating robots (Corvina and Mo)

Once the pull request is open the team of senior developers will flag it as under analysis and a grace time of 4 weeks will start. Before of these 4 weeks the branch will be checked and, eventually, the developer will be asked to change/amend his/her branch.