search

diem / website

Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
https://developers.libra.org
Other
231 stars 221 forks source link

[testnet] Revert waypoint change #240

Closed mgorven closed 3 years ago

mgorven commented 3 years ago

Going back

JoelMarcey commented 3 years ago

/help

bors-libra commented 3 years ago
Bors help and documentation
Bors is a Github App used to manage merging of PRs in order to ensure that CI is always green. It does so by maintaining a [Merge Queue](https://github.com/libra/website/projects/1). Once a PR reaches the head of the Merge Queue it is rebased on top of the latest version of the PR's `base-branch` (generally `master`) and then triggers CI. If CI comes back green the PR is then merged into the `base-branch`. Regardless of the outcome, the next PR is the queue is then processed. ### General - This project's Merge Queue can be found [here](https://github.com/libra/website/projects/1). - This project requires PRs to be [Reviewed](https://help.github.com/en/github/collaborating-with-issues-and-pull-requests/about-pull-request-reviews) and Approved before they can be queued for merging. - Before PR's can be merged they must be configured with ["Allow edits from maintainers"](https://help.github.com/en/github/collaborating-with-issues-and-pull-requests/allowing-changes-to-a-pull-request-branch-created-from-a-fork) enabled. This is needed for Bors to be able to update PR's in-place so that Github can properly recognize and mark them as "merged" once they've been merged into the upstream branch. ### Commands Bors actions can be triggered by posting a comment which includes a line of the form `/`. | Command | Action | Description | | --- | --- | --- | | __Land__ | `land`, `merge` | attempt to land or merge a PR | | __Canary__ | `canary`, `try` | canary a PR by performing all checks without merging | | __Cancel__ | `cancel`, `stop` | stop an in-progress land | | __Cherry Pick__ | `cherry-pick ` | cherry-pick a PR into `` branch | | __Priority__ | `priority` | set the priority level for a PR (`high`, `normal`, `low`) | | __Help__ | `help`, `h` | show this help message | ### Options Options for Pull Requests are configured through the application of labels. |           Option           | Description | | --- | --- | | ![label: bors-high-priority](https://img.shields.io/static/v1?label=&message=bors-high-priority&color=lightgrey) | Indicates that the PR is high-priority. When queued the PR will be placed at the head of the merge queue. | | ![label: bors-low-priority](https://img.shields.io/static/v1?label=&message=bors-low-priority&color=lightgrey) | Indicates that the PR is low-priority. When queued the PR will be placed at the back of the merge queue. | | ![label: bors-squash](https://img.shields.io/static/v1?label=&message=bors-squash&color=lightgrey) | Before merging the PR will be squashed down to a single commit, only retaining the commit message of the first commit in the PR. |
mgorven commented 3 years ago

/land