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: 8e51b777fcb0f356a338f901fa2e935b7159a6866e03f21162ab746c37d0dc07
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: fd6ef8bfd4 user: jeff@gridfinity.com tags: origin/master, trunk
03:32:17
multi: Configure GitHub-specific applications. Leaf check-in: 8e51b777fc user: jeff@gridfinity.com tags: 3.2.6, trunk
03:28:28
Initial checkin: GRG 3.2 Release 6 (July 16, 2000) check-in: 0e931140ef user: jeff@gridfinity.com tags: trunk
Changes

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