[Compass-ci] Re: find latest github git pushes

On Tue, Feb 23, 2021 at 05:24:35PM +0800, Wu Fengguang wrote:

Hi Yuanchao,

I researched github and have 2 finding

1. a registered user can watch a number of repos and get notifications.

however the notification type does not include "git push/new commit". There is only "new pull request", which looks much less useful for us.

2. we can still take advantage of its search API to find latest

updated repos, like this

https://github.com/search?l=&o=desc&q=pushed%3A%3E2021-02-21+filenam...

7,543 repository results

Based on that, we can add one more service to

~/todo/people/LiYuanchao/todo/20201020-9d:gitmirror-git-hooks.md

under this section:

outside task sources ====================

1) submit-job script: add to redis task queue

2) git hook script: add to redis task queue

Thanks, Fengguang