fi/pushee
Archived
1
0
Fork 0
Code Issues 4 Pull requests Projects Releases Packages Wiki Activity
No description
This repository has been archived on 2023-07-17. You can view files and clone it, but cannot push or open issues or pull requests.
29 commits 1 branch 0 tags 86 KiB
Python 98.2%
Shell 1.8%
Find a file
Matej Focko 26b5c9343e
Allow processing of given IDs instead of mailbox
2020-05-25 23:50:42 +02:00
commands Sort comments by lines and update mail extraction 2020-05-25 23:49:52 +02:00
.gitignore Add gitignore 2020-05-25 23:44:11 +02:00
diff.sh Add diff script 2020-05-25 23:42:19 +02:00
git.py Reworked bash script to Python script 2019-12-01 13:18:32 +01:00
gitlab_provider.py Update for PB071 2020-04-03 14:10:37 +02:00
kontr_emails.py Allow processing of given IDs instead of mailbox 2020-05-25 23:50:42 +02:00
pushee.py Allow processing of given IDs instead of mailbox 2020-05-25 23:50:42 +02:00
submission.py Sort comments by lines and update mail extraction 2020-05-25 23:49:52 +02:00
utils.py Remove constants 2019-12-01 13:23:03 +01:00