Overview
| Comment: | Add .github/.mergeable.yml: Automatically close PRs |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | master | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
09c38480285a5da4cc3c1dd9f4b710c5 |
| User & Date: | jeff@gridfinity.com on 2021-03-01 01:22:12 |
| Other Links: | manifest | tags |
Context
|
2021-03-01
| ||
| 01:23:53 | Remove mistaken-pull-closer.yml, using mergable. check-in: 52fc28dabe user: jeff@gridfinity.com tags: master, trunk | |
| 01:22:12 | Add .github/.mergeable.yml: Automatically close PRs check-in: 09c3848028 user: jeff@gridfinity.com tags: master, trunk | |
| 00:44:24 | Add .github/issue-close-app.yml: Redirect issues. check-in: 3af273af29 user: jeff@gridfinity.com tags: master, trunk | |
Changes
Added .github/mergeable.yml version [1e8ae1440a].
> > > > > > > > > > > | 1 2 3 4 5 6 7 8 9 10 11 |
version: 2
mergeable:
- when: pull_request.opened
name: "Greet a contributor"
validate: []
pass:
- do: comment
payload:
body: >
Thanks for your contribution! Unfortunately, we don't use GitHub pull requests to manage code contributions to this repository. Instead, please see the [REDUCE Homepage](https://reduce-algebra.sourceforge.io/) for details on how to get involved with REDUCE.
- do: close
|