Can't push a new branch for a PR

I want to make a PR with some fixes to the kernel, but I can’t seem to push a new branch.

After going trough the device code authentication I keep on getting an error:
Permission to FreeRTOS/FreeRTOS-Kernel.git denied

Pushing to other repositories (not related to FreeRTOS) work without any issues.

Any help with this will be appreciated


For contributing to FreeRTOS, you need to first create a fork of the repo that you wish to contribute to, create the branch in your fork, push your changes, and then open the pull request from that branch to the main branch of official FreeRTOS repositories.

Please refer to the following resources for more information related to contributions to FreeRTOS:

1 Like

This was exactly what I was missing