Parents and children of check-in [09c3848028]

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

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