Skip to content

Commit

Permalink
added mention of the bot in the readme
Browse files Browse the repository at this point in the history
Updated the readme to contain information about the bot, how to use it, and a link to its documentation
  • Loading branch information
Bullrich committed Oct 3, 2023
1 parent 81028a6 commit 4ee15db
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,3 +24,15 @@ Each leaf folder contains one runtime crate:
└── gluttons
└── glutton-kusama
```

# Working on Pull Requests

To merge a pull request, we use [Auto Merge Bot](https://github.com/paritytech/auto-merge-bot).

To use it, write a comment in a PR that says:

> `/merge`
This will enable [`auto-merge`](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/incorporating-changes-from-a-pull-request/automatically-merging-a-pull-request) in the Pull Request (or merge it if it is ready to merge).

The automation can be triggered by the author of the PR or any fellow whose GitHub handle is part of their identity.

0 comments on commit 4ee15db

Please sign in to comment.