From 6b2f905a2bf015ea81761ced464b69a19a7e11df Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 9 Jan 2013 07:34:56 -0700 Subject: [PATCH] pkg - Improving error message on bad github urls (cherry picked from commit 7cddc64e5ac797105047a8431f9739104aa9f15c) --- collects/planet2/lib.rkt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/collects/planet2/lib.rkt b/collects/planet2/lib.rkt index 5352c83947..22756c7438 100644 --- a/collects/planet2/lib.rkt +++ b/collects/planet2/lib.rkt @@ -415,6 +415,10 @@ (update-install-info-orig-pkg (match type ['github + (unless checksum + (pkg-error (~a "could not find checksum for github package source, which implies it doesn't exist\n" + " source: ~a") + pkg)) (match-define (list* user repo branch path) (map path/param-path (url-path/no-slash pkg-url))) (define new-url