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

2021-03-01
10:35:17
multi: Update to PR autoresponder, add SECURITY.md check-in: 97f0d9c57e user: jeff@gridfinity.com tags: master, trunk
03:32:17
multi: Configure GitHub-specific applications. Leaf check-in: 8e51b777fc user: jeff@gridfinity.com tags: 3.2.6, trunk
03:32:17
multi: Configure GitHub-specific applications. Leaf check-in: 80978e6653 user: jeff@gridfinity.com tags: 3.2.6, trunk

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