Overview
Comment:Remove mistaken-pull-closer.yml, using mergable.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | master | trunk
Files: files | file ages | folders
SHA3-256: 52fc28dabe9bf778b211161c9328a2de22532f87b01bc881990bd4bddd37a45e
User & Date: jeff@gridfinity.com on 2021-03-01 01:23:53
Other Links: manifest | tags
Context
2021-03-01
01:25:52
Add SECURITY.md: Redirect to Sourceforge project. check-in: 0f821a92e2 user: jeff@gridfinity.com tags: master, trunk
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
Changes

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