gps
gps/github-action-push-to-another-repository v1.3
Useful to push files to another repository to be used, for example, via github pages4 versions - Latest release: about 5 years ago - 0 stars on GitHub
gps/render-drawio-docker
Looks for drawio files in a repo, and renders PNGs of each of them in place.Latest release: 2 months ago - 0 stars on GitHub
gps/jacoco-to-gsheet
Adds jacoco code coverage report to the Google spreadsheetLatest release: 13 days ago - 0 stars on GitHub
gps/newline-at-eof
Ensures all files that have changed in a PR have exactly 1 newline at EOFLatest release: 3 months ago - 0 stars on GitHub
gps/intellij-inspections
Runs IntelliJ Inspections on a PRLatest release: about 2 months ago - 1 stars on GitHub