Overview
Comment:multi: Configure GitHub-specific applications.

Add: .github/issue-close-app.yml: Close issues.
Add: .github/mergeable.yml: Close pull requests.

Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | 3.2.6 | trunk
Files: files | file ages | folders
SHA3-256: 80978e6653b481fac2c0be9cea750c78ed0063e911240bde523c6851af0fdde6
User & Date: jeff@gridfinity.com on 2021-03-01 03:32:17
Other Links: manifest | tags
Context
2021-03-01
03:37:40
Update README.md: Link to upstream homepage. check-in: 2e1070841a user: jeff@gridfinity.com tags: origin/master, trunk
03:32:17
multi: Configure GitHub-specific applications. Leaf check-in: 80978e6653 user: jeff@gridfinity.com tags: 3.2.6, trunk
03:28:28
Initial checkin: GRG 3.2 Release 6 (July 16, 2000) check-in: 96e7dce126 user: jeff@gridfinity.com tags: trunk
Changes

GRG for REDUCE
GRG Homepage | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]