From 65f1499ed2e2c34e03c97b068af5decb5adbd3ca Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Fri, 23 Jan 2009 14:02:53 +0100 Subject: [PATCH] .rss is not an image extension Signed-off-by: Johannes Schindelin --- upload.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/upload.sh b/upload.sh index de00ca008e..95d6aec399 100755 --- a/upload.sh +++ b/upload.sh @@ -367,7 +367,7 @@ die "Could not commit new images" # to find the images reliably, we have to use the commit name, not the branch # we use the latest commit touching an image file. IMAGEFILES="$(git ls-files | - grep -v '\.\(html\|gitignore\|in\|sh\|txt\)$')" + grep -v '\.\(rss\|html\|gitignore\|in\|sh\|txt\)$')" REV=$(git rev-list -1 HEAD -- $IMAGEFILES) test -z "$REV" && REV=$BRANCH URL="$REMOTEREPOSITORY?a=blob_plain;hb=$REV;f=" -- 2.11.4.GIT