Commit Graph

15 Commits

Author SHA1 Message Date
Krishna कन्हैया 8cdb0bfc42
Github-projects.txt: openethereum added 2021-01-12 08:41:56 +05:30
kcubeterm 7f5c8ab0ab Add shiori in github-projects.txt 2021-01-09 13:08:32 +00:00
Leonid Pliushch 5c95b08ede
CI: do not discard package epoch when doing automatic updates 2021-01-02 23:19:42 +02:00
Leonid Pliushch fb06dacfb2
CI: disable automatic updates of 'atomicparsley' 2021-01-02 01:11:09 +02:00
Leonid Pliushch 43ac7b0783
Revert "Github-project.txt: Comment out Delve."
No need to care about conflicting patches.

This reverts commit 560839ce81.
2020-12-20 15:32:16 +02:00
Krishna Kanhaiya 560839ce81
Github-project.txt: Comment out Delve.
Have saw upstreams and upstream PRs, delve is't suitable for automatic update. Will do it manually.
2020-12-20 14:16:27 +05:30
Leonid Pliushch bf58642a42
check-updates: add more packages for updates checking
Seems all now.
2020-12-18 21:38:17 +02:00
Leonid Pliushch 1d34e9a6a8
check-updates: add more packages for updates checking 2020-12-18 21:14:57 +02:00
Leonid Pliushch 1f89afee99
check-updates: add more packages for updates checking 2020-12-18 19:53:13 +02:00
Leonid Pliushch 1ee961c420
check-updates.sh: filter version numbers from tags by using regexp where needed 2020-12-17 21:52:46 +02:00
Leonid Pliushch f79c5170fd
check-updates.sh: comment out packages which have tags but no releases
They return null in latest version tag.

Continuing auto updates checking experiment.
2020-12-17 21:35:28 +02:00
Leonid Pliushch b6dd6b608d
check-updates: update package/project list 2020-12-17 16:28:59 +02:00
Leonid Pliushch d5b47de4b6
check-updates: update package/project list 2020-12-17 15:49:07 +02:00
Leonid Pliushch 3baf32fb0e
check-updates.sh: handle comments in package list 2020-12-17 15:12:24 +02:00
Leonid Pliushch 735467255b
initial version of check-updates script
Compares local package versions with their upstream and notifies
whether updates are needed.

Limited to Github-based projects only and needs a personal access
token to get a higher API requests rate limit.
2020-12-17 14:59:04 +02:00