From 1176a24a1f76f551ec32eda731e8d5cdf93ad085 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 18 Aug 2021 13:25:31 -0400
Subject: Rename Devalloc to Dragons

---
 Biz/Devalloc/get-examples.sh | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100755 Biz/Devalloc/get-examples.sh

(limited to 'Biz/Devalloc/get-examples.sh')

diff --git a/Biz/Devalloc/get-examples.sh b/Biz/Devalloc/get-examples.sh
deleted file mode 100755
index 2e0647b..0000000
--- a/Biz/Devalloc/get-examples.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/usr/bin/env bash
-if [ "$#" == "0" ]
-then
-    echo "usage: $(basename $0) <cookie>"
-    echo "copy the cookie from the browser dev console"
-    exit 1
-fi
-cookie="$1"
-curl 'https://devalloc.io/analysis?user=github&repo=training-kit' \
-    -X POST \
-    -H 'Content-Type: application/x-www-form-urlencoded' \
-    -H "Cookie: JWT-Cookie=$cookie" \
-    --compressed --insecure
-- 
cgit v1.2.3