cmd/ursrv: BUILDHOST name changed for Arch (#6948)

Recognize both old and new.

Co-authored-by: Jakob Borg <jakob@kastelo.net>
This commit is contained in:
Jaroslav Lichtblau 2020-09-02 08:20:25 +02:00 committed by GitHub
parent 0d3db38b2f
commit e3e46ec1de
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -54,7 +54,7 @@ var (
{regexp.MustCompile("jenkins@build.syncthing.net"), "GitHub"},
{regexp.MustCompile("snap@build.syncthing.net"), "Snapcraft"},
{regexp.MustCompile("android-.*vagrant@basebox-stretch64"), "F-Droid"},
{regexp.MustCompile("builduser@svetlemodry"), "Arch (3rd party)"},
{regexp.MustCompile("builduser@(archlinux|svetlemodry)"), "Arch (3rd party)"},
{regexp.MustCompile("synology@kastelo.net"), "Synology (Kastelo)"},
{regexp.MustCompile("@debian"), "Debian (3rd party)"},
{regexp.MustCompile("@fedora"), "Fedora (3rd party)"},