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: 5f584e9b52375826fd658f656c98c200ddc9e5716fd210fe56bcc880ac33c9a3
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: 30d10c278c user: jeff@gridfinity.com tags: master, trunk
01:22:12
Add .github/.mergeable.yml: Automatically close PRs check-in: 5f584e9b52 user: jeff@gridfinity.com tags: master, trunk
00:44:24
Add .github/issue-close-app.yml: Redirect issues. check-in: a7bd34d54c 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


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]