|
|
b71207ca51
|
Add helper scripts for finding and loading active repos (on github)
[ci skip]
|
2019-07-07 20:22:32 +02:00 |
|
|
|
d9faf25648
|
Make script executable
[skip ci]
|
2019-05-19 16:05:58 +02:00 |
|
|
|
d2977eee32
|
Add script to list repositories
[ci skip]
|
2019-05-19 16:01:58 +02:00 |
|
