Replicant

I've sent the patch for that to the mailing list (I've tested it).

With that patch, only one repository remains which is f-droid.

As it will temporarily removed once the patch has been merged we can close this bug when it'll be removed.

Here's the script that has been used for most of the AOSP repos:

#!/bin/sh
# Copyright 2019 Denis 'GNUtoo' Carikli
# In the cases where this work is copyrightable, it falls under the GPLv2
# or later license that is available here:
# https://www.gnu.org/licenses/gpl-2.0.txt

set -e
for path in $(grep 'remote="aosp"' manifest.xml  | awk '{print $2}' | sed 's#path="##' | sed 's#"$##') ; do
    name=$(grep "path=\"${path}\"" manifest.xml | awk '{print $3}' | sed 's#name="##' | sed 's#"$##' | sed 's#/#_#g')
    git -C ${path} \
        fetch --unshallow aosp || true

    git -C ${path} \
        push \
        -f \
        ssh://git@replicant-git/AOSP-mirror/${name} \
        HEAD:refs/tags/android-6.0.1_r81 \

    sed "/.* path=\"$(echo $path | sed 's#/#\\/#g')\" .*/d" -i manifest.xml
done

I forgot to add the python source code that generates the manifest.xml that is then parsed by shell script.

manifest.xml -> python script -> new manifest.xml that only contains AOSP mirror entries -> shell script

#!/usr/bin/env python
# Copyright 2019 Denis 'GNUtoo' Carikli <GNUtoo@no-log.org>
# In the cases where this work is copyrightable, it falls under the GPLv3
# or later license that is available here:
# https://www.gnu.org/licenses/gpl-3.0.txt

import re

file = open ('default.xml', mode='r')
for line in file:
    if re.search('remote="aosp"', line):
        match = re.search('name="(.*)" ', line)
        if match:
            old_name = re.sub('".*', '', re.sub('^name="', '', match.group(0)))
            new_name = old_name.replace('/', '_')
            line = line.replace('name="{0}"'.format(old_name), 'name="AOSP-mirror/{0}"'.format(new_name))
            #print(line.replace('\n', ''))
    line = line.replace('\n', '')
    print (line,)