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.
21 commits 1 branch 0 tags 86 KiB
Python 98.2%
Shell 1.8%
Find a file
Matej Focko 0cbb641426 Fix point checking
2019-12-02 11:39:40 +01:00
commands Correct tag in MR's title 2019-12-02 11:39:23 +01:00
git.py Reworked bash script to Python script 2019-12-01 13:18:32 +01:00
gitlab.py Remove constants 2019-12-01 13:23:03 +01:00
kontr_emails.py Fix point checking 2019-12-02 11:39:40 +01:00
pushee.py Filter submissions 2019-12-01 13:23:03 +01:00
submission.py Differentiate between path and "ID" 2019-12-02 10:52:57 +01:00
utils.py Remove constants 2019-12-01 13:23:03 +01:00