index
:
manifest
GNUtoo/needed-for-getting-failed-fetch
history/14-07-2019
history/23-07-2019
history/28-08-2020
replicant-10-dev
replicant-11-dev
replicant-13-dev
replicant-9-dev
replicant-next manifest
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
scripts
Commit message (
Expand
)
Author
Age
Files
Lines
*
scripts: generate-mirror-commands: fix tag fetching
Denis 'GNUtoo' Carikli
2021-11-30
1
-2
/
+2
*
scripts: manifest.py: always touch .git/git-daemon-export-ok
Denis 'GNUtoo' Carikli
2021-11-30
1
-2
/
+2
*
Add script to check licenses
Denis 'GNUtoo' Carikli
2021-10-20
7
-4
/
+634
*
scripts: Move Manifest in its own file
Denis 'GNUtoo' Carikli
2021-10-18
3
-172
/
+193
*
scripts: generate-mirror-commands: remove unused jinja2 import
Denis 'GNUtoo' Carikli
2021-10-18
1
-2
/
+0
*
scripts: add tests
Denis 'GNUtoo' Carikli
2021-10-18
3
-0
/
+6058
*
generate-mirror-commands: get_clone_commands: fix skipped repositories
Denis 'GNUtoo' Carikli
2021-10-18
1
-3
/
+3
*
Add scripts license
Denis 'GNUtoo' Carikli
2021-10-18
1
-0
/
+661
*
scripts: generate-mirror-commands.py: temporarily skip freedesktop.org reposi...
Denis 'GNUtoo' Carikli
2021-09-14
1
-4
/
+5
*
scripts: generate-mirror-command: Guard against updating floating revisions
Denis 'GNUtoo' Carikli
2021-09-14
1
-0
/
+34
*
Add script to help mirror repositories
Denis 'GNUtoo' Carikli
2021-09-14
1
-0
/
+169