Game icon indicating copy to clipboard operation
Game copied to clipboard
verified publisher icon DigitalExtinction

Use Bors

Open Indy2222 opened this issue 3 years ago • 2 comments

The following conditions must be met for a PR to be merged:

  • [ ] The PR is approved by a repository administrator
  • [ ] All conversations on the PR are resolved
  • [ ] The PR is not marked as Draft
  • [ ] Rust workflow was executed successfully

Indy2222 avatar May 24 '22 13:05 Indy2222

Consider using GitHub native merge queue instead.

Indy2222 avatar Nov 20 '22 19:11 Indy2222

There is no activity on the issue for some time. The issue will be automatically closed in 3 weeks.

github-actions[bot] avatar May 31 '24 14:05 github-actions[bot]