[ARVADOS] updated: dd2a958d4731695144bb7add675fa14bf590d72a

[git at public.curoverse.com]

Summary of changes:
 sdk/cli/bin/crunch-job | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

       via  dd2a958d4731695144bb7add675fa14bf590d72a (commit)
      from  5c1f03ef1ae45d3ac222542d33b3125ce8678d65 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit dd2a958d4731695144bb7add675fa14bf590d72a
Author: Tom Clegg <tom at curoverse.com>
Date:   Mon Oct 6 13:40:18 2014 -0400

    3775: Recognize ssh short form without @ symbol. Expand comments.

diff --git a/sdk/cli/bin/crunch-job b/sdk/cli/bin/crunch-job
index eff48a2..65c81a5 100755
--- a/sdk/cli/bin/crunch-job
+++ b/sdk/cli/bin/crunch-job
@@ -413,13 +413,18 @@ else {
   # to a local dir before doing `git log` et al.
   my $repo_location;
 
-  if ($repo =~ m{://|\@.*:}) {
+  if ($repo =~ m{://|^[^/]*:}) {
     # $repo is a git url we can clone, like git:// or https:// or
-    # file:/// or git at host:repo.git
+    # file:/// or [user@]host:repo.git. Note "user/name at host:foo" is
+    # not recognized here because distinguishing that from a local
+    # path is too fragile. If you really need something strange here,
+    # use the ssh:// form.
     $repo_location = 'remote';
   } elsif ($repo =~ m{^\.*/}) {
     # $repo is a local path to a git index. We'll also resolve ../foo
-    # to ../foo/.git if the latter is a directory.
+    # to ../foo/.git if the latter is a directory. To help
+    # disambiguate local paths from named hosted repositories, this
+    # form must be given as ./ or ../ if it's a relative path.
     if (-d "$repo/.git") {
       $repo = "$repo/.git";
     }

-----------------------------------------------------------------------


hooks/post-receive
--