- 53d1821 Do not accept any other characters than n/y by Akron · 2 years ago
- 74994cf Improve portability for git_gerrit_pull by Akron · 2 years ago
- 70a2669 Update Kustvakt for Java 11 by Akron · 2 years ago
- 7f2e8ff Make tools executable by Akron · 2 years ago
- 88ddd4a Add pull request helper for specific pull requests by Akron · 2 years, 1 month ago
- f79524b Log slimming now part of KorAP::XML::Krill by Akron · 2 years, 8 months ago
- 0e3295e Place change-id always at the end of the commit msg by Marc Kupietz · 2 years, 6 months ago
- d9b8bc0 Make sure injecting "Closes #X" into commit msg works by Marc Kupietz · 2 years, 6 months ago
- 229eba2 slack.js: use - to read message from stdin by Marc Kupietz · 2 years, 10 months ago
- ea6dab2 Add node script that sends a message to a slack channel by Marc Kupietz · 2 years, 10 months ago
- 8608f2d Merge "Add node script that sends a telegram when folder is unmodified" by Marc Kupietz · 2 years, 10 months ago
- 8ef4a6d Add node script that sends a telegram when folder is unmodified by Marc Kupietz · 2 years, 10 months ago
- ebace12 Improve documentation for count_commits by Akron · 3 years, 4 months ago
- 9dc12c4 Add '--no-merges' to count_commits by Akron · 3 years, 5 months ago
- 53d0e32 Fix wordlist separator for reading workflow results by Marc Kupietz · 3 years, 9 months ago
- 2b2aa23 Merge "Add script to count commits for reports" by Akron · 3 years, 9 months ago
- 9a31949 Merge "Initial commit of slim_korapxml2krill_log" by Akron · 3 years, 9 months ago
- f80da9a Initial commit of slim_korapxml2krill_log by Akron · 3 years, 9 months ago
- 7b9511c Initial commit of corpuslist_to_index by Akron · 3 years, 9 months ago
- e581315 Add script to count commits for reports by Akron · 3 years, 9 months ago
- ea6c34d Initial commit of corpuslist_to_korapxml2krill by Akron · 3 years, 9 months ago
- b56286e Make import_github_pull_requests work also without gh workflows by Marc Kupietz · 4 years ago
- 38315c2 Add Readme.md by Marc Kupietz · 4 years ago
- 60bef56 Add script to import github pull requests to local repo by Marc Kupietz · 4 years, 4 months ago