History of file .github/mistaken-pull-closer.yml at check-in 5f584e9b52375826

2021-03-01
01:23
Deleted: Remove mistaken-pull-closer.yml, using mergable. check-in: [30d10c278c] user: jeff@gridfinity.com, branch: master, size: 0
00:18
Added: Add .github/mistaken-pull-closer.yml/autoclose PRs file: [fb0b90bc63] check-in: [955d0a90a7] user: jeff@gridfinity.com, branch: master, size: 317 [annotate] [blame] [check-ins using]

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