[arch-projects] [devtools] [GIT] The official devtools repository branch sogrep_redirect created. 20190912-11-g7f849ea

Jelle van der Waa jelle at archlinux.org
Tue Oct 15 19:48:47 UTC 2019

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "The official devtools repository".

The branch, sogrep_redirect has been created
        at  7f849ea58d6a46631017b928285ebf3ff4ce6c69 (commit)

- Log -----------------------------------------------------------------
commit 7f849ea58d6a46631017b928285ebf3ff4ce6c69
Author: Jelle van der Waa <jelle at vdwaa.nl>
Date:   Tue Oct 15 21:43:20 2019 +0200

    sogrep: redirect to destination mirror
    Some mirrors redirect consumers to a near by mirror which isn't handled
    by sogrep.


The official devtools repository

More information about the arch-projects mailing list