A tool for facilitating the redlining of documents with the GitHub uninitiated
updated at July 24, 2024, 5:29 a.m.
5 +0
27 +0
6 +0
Allows authenticated or anonymous users to fill out a standard web form to create GitHub issues (and pull requests).
updated at Nov. 16, 2023, 2:45 a.m.
50 +0
7 +0