Commit Graph

1 Commits

Author SHA1 Message Date
Mike Fährmann
f0b76e0bb5 publish pull request helper script
it's what I've been using to manage GitHub pull requests locally
2023-05-04 10:46:38 +02:00