howto-create-a-pull-request.md

Howto create a pull request

The main branch is protected againt direct push to assure a clean release workflow.

Some informations about branch protection :

• About protected branches
• Disable a direct push to GitHub main branch

push request scenario

To create a PR for a the component graalvm

create a branch graalvm

gh repo clone plantuml/docker
cd docker

git switch -c  graalvm

After updating the code we will push the branch to github.

push to origin

 git push --set-upstream origin graalvm

create a pr

1. On github create a pull request (Compare and pull request).

2. Create the pull request.

   Note: you can create a draft pull request

3. this will trigger the build workflow as a check.

4. Once checked we can rebase and merge (or squash and merge).

5. We can delete the branch.

6. The release bot will open a pull request for the release on the main branch.

7. Once checked we can rebase and merge (or squash and merge).

8. We can delete the branch.

9. The release is completed.