MIRRORS/layerindex-web
1
0
Fork 0
mirror of git://git.yoctoproject.org/layerindex-web.git synced 2025-07-19 20:59:01 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity
946 Commits 30 Branches 0 Tags 3 MiB
b46de0bfa7
Commit Graph

3 Commits

Author SHA1 Message Date
Paul Eggleton
eaae0d8b02 tools/github-fetch: fix marking deleted 
I used the wrong path variable here resulting in failure if anything was
deleted.

Signed-off-by: Paul Eggleton <paul.eggleton@linux.intel.com>
 2018-11-19 16:44:42 +13:00
Paul Eggleton
17ced0ee38 tools/github-fetch: handle non-fast-forward merges 
We don't particularly care if someone force-pushed master, just fetch
the latest repo.

Signed-off-by: Paul Eggleton <paul.eggleton@linux.intel.com>
 2018-11-19 16:44:42 +13:00
Paul Eggleton
4266d8aec1 Add script to fetch all repos under a github organisation 
Add a script to fetch/update all repositories within a GitHub
organisation. Note that to run this you will need an access token, which
you can create by going to GitHub and then
Settings -> Developer Settings -> Personal access tokens.

Signed-off-by: Paul Eggleton <paul.eggleton@linux.intel.com>
 2018-08-13 16:04:16 +02:00