From 9032574038fdf322df8d2c527949c02c0d997400 Mon Sep 17 00:00:00 2001
From: Mike McQuaid
Date: Tue, 30 May 2017 19:14:40 +0100
Subject: Update jenkins.brew.sh links.

These previously, incorrectly pointed to bot.brew.sh.

Fixes #2703.
---
 Library/Homebrew/dev-cmd/pull.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Library/Homebrew/dev-cmd')

diff --git a/Library/Homebrew/dev-cmd/pull.rb b/Library/Homebrew/dev-cmd/pull.rb
index 9d08da95b..492898a47 100644
--- a/Library/Homebrew/dev-cmd/pull.rb
+++ b/Library/Homebrew/dev-cmd/pull.rb
@@ -14,7 +14,7 @@
 #:
 #:      ~ The URL of a commit on GitHub
 #:
-#:      ~ A "https://bot.brew.sh/job/..." string specifying a testing job ID
+#:      ~ A "https://jenkins.brew.sh/job/..." string specifying a testing job ID
 #:
 #:    If `--bottle` is passed, handle bottles, pulling the bottle-update
 #:    commit and publishing files on Bintray.
-- 
cgit v1.2.3