Mikhail f. Shiryaev
|
fe44b514b7
|
Create GitHub cache directory optionally by default
|
2022-12-09 21:33:06 +01:00 |
|
Mikhail f. Shiryaev
|
c11cec605d
|
Fix the CACHE_PATH creation for default value
|
2022-12-09 16:11:03 +01:00 |
|
Mikhail f. Shiryaev
|
ba9e51d686
|
Fix cherry-pick.py typing issues
|
2022-11-29 14:12:22 +01:00 |
|
Mikhail f. Shiryaev
|
6e00bb2e74
|
Add and fix typing for docker_pull_helper, github_helper and style_check
|
2022-11-29 14:12:20 +01:00 |
|
Mikhail f. Shiryaev
|
469b7e7668
|
Add notes about _is_cache_updated logic
|
2022-08-02 18:44:49 +02:00 |
|
Mikhail f. Shiryaev
|
209a5047c0
|
Improve caching logic, add cached NamedUser
|
2022-07-21 15:45:38 +02:00 |
|
Mikhail f. Shiryaev
|
caef6729f4
|
Improve debug logging of github_helper
|
2022-07-18 10:32:45 +02:00 |
|
Mikhail f. Shiryaev
|
9cc06ea0e4
|
Fix found points during the review
|
2022-07-17 14:05:21 +02:00 |
|
Mikhail f. Shiryaev
|
909e871c48
|
Rewrite cherry_pick.py to PyGithub API
|
2022-07-15 17:21:14 +02:00 |
|