Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,16 @@ your proposed changes.
1. Browse to the [runtime repository] and [create a forked repository] under
your GitHub username.

In your forked repository, under *Settings* → *Actions* set the *Actions
permissions* to **Disable Actions** to avoid triggering workflow runs in
your own repository, which will fail to fetch the required container
images.

Under *Settings* → *Merge button* select **Automatically delete head
branches** to have your pull-request branches automatically deleted
when the respective pull request is merged.


2. Clone the [runtime repository]:

```
Expand Down