Edit on GitHub!

Pull requests

To add code to the different repositories the code is build in a feature branch and merged back to the branch develop using a pull request. No direct committing is allowed to the branches develop and main.
When a release is created the branch develop is merged to the branch main using a pull request.
In some repositories the branch develop is skipped and not there. Feature branches are merged directly to the branch develop

Creating a pull request

When creating a pull request to merge a feature branch back we need to be aware that some information about the pull request is used to generate the release notes.

There is a special label dependencies used by dependabot for updating dependencies. These are grouped together in a separate section. If no label is added the pull request will be added to the section Other Changes at the bottom of the release notes.

The following labels cause the pull request to be ignored in the release notes:

Remark: The label tooling is not a standard label, so that may need to be created by the first developer using it.