Merging Procedures: Difference between revisions
Jump to navigation
Jump to search
(Created page with "thumb|Merging procedures If a developer really wants to merge his/her branch with the develop the following procedure applies: * Check in the [https://github.com/yambo-code/yambo-devel/pulls 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. File:2023-02-02 14-39...") |
(No difference)
|
Latest revision as of 15:13, 2 February 2023
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.
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.