diff options
author | Ben Hutchings <ben.hutchings@codethink.co.uk> | 2020-09-08 00:06:46 +0100 |
---|---|---|
committer | Ben Hutchings <ben.hutchings@codethink.co.uk> | 2020-09-09 23:47:41 +0100 |
commit | 31cddc80b23e4a0105b37b35e1780447a3a84bc4 (patch) | |
tree | f5d17ba3df2f05eb53dfea80599ea8be8fe49ae9 /open-source-lorries/make.lorry | |
parent | 6f57a54dbeb27753a75d88977b39b82e12682bd5 (diff) | |
download | lorries-31cddc80b23e4a0105b37b35e1780447a3a84bc4.tar.gz |
Update mirroring of GNU make
make has moved from Launchpad to Savannah. Since it switched from Bazaar
to Git, use a different name for the new mirror.
The Bazaar repository on Launchpad is still functional and mirrors
changes in the Git repository, so don't disable the configuration for
it. However, Lorry Depot isn't yet able to mirror from Bazaar.
Diffstat (limited to 'open-source-lorries/make.lorry')
-rw-r--r-- | open-source-lorries/make.lorry | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/open-source-lorries/make.lorry b/open-source-lorries/make.lorry index c82de67..2a70762 100644 --- a/open-source-lorries/make.lorry +++ b/open-source-lorries/make.lorry @@ -2,5 +2,9 @@ "make": { "type": "bzr", "url": "lp:make" + }, + "make-git": { + "type": "git", + "url": "https://git.savannah.gnu.org/git/make.git" } } |