<pre style='margin:0'>
Clemens Lang (neverpanic) pushed a commit to branch master
in repository macports-infrastructure.

</pre>
<p><a href="https://github.com/macports/macports-infrastructure/commit/428f4f6d7d3395354e692da73a402375e19bc7c2">https://github.com/macports/macports-infrastructure/commit/428f4f6d7d3395354e692da73a402375e19bc7c2</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'>     new 428f4f6  build_deploy_prbot: Fix typo
</span>428f4f6 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 428f4f6d7d3395354e692da73a402375e19bc7c2
</span>Author: Clemens Lang <neverpanic@gmail.com>
AuthorDate: Sat Jul 22 17:57:35 2017 +0200

<span style='display:block; white-space:pre;color:#404040;'>    build_deploy_prbot: Fix typo
</span>---
 jobs/build_deploy_prbot.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/jobs/build_deploy_prbot.sh b/jobs/build_deploy_prbot.sh
</span><span style='display:block; white-space:pre;color:#808080;'>index 80107fc..6728954 100755
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/jobs/build_deploy_prbot.sh
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/jobs/build_deploy_prbot.sh
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -34,7 +34,7 @@ PRBOT_CURRENT=$GOPATH/bin/prbot-current
</span> PRBOT_NEXT=$GOPATH/bin/prbot-next
 
 # Set up GOPATH, fetch or update source
<span style='display:block; white-space:pre;background:#ffe0e0;'>-mkdir -p "$GOPATH/src/github.com/mapcorts"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+mkdir -p "$GOPATH/src/github.com/macports"
</span> if [ -d "$MPBOT_GITHUB_SRC" ]; then
        git -C "$MPBOT_GITHUB_SRC" fetch --quiet || true # Ignore network problems assuming they are temporary
        git -C "$MPBOT_GITHUB_SRC" reset --quiet --hard origin/master
</pre><pre style='margin:0'>

</pre>