4 check-ins that include changes to files matching '.github/*'

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
00:18:14
Add .github/mistaken-pull-closer.yml/autoclose PRs check-in: 955d0a90a7 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 ]