From 740c682f8e6f8a6aac64d9d3bb0ec4b7e62716f4 Mon Sep 17 00:00:00 2001
From: tdurieux <durieuxthomas@hotmail.com>
Date: Tue, 12 Mar 2019 16:37:06 +0000
Subject: [PATCH] reduce url length

---
 server.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/server.py b/server.py
index 0de7979..a3bee29 100644
--- a/server.py
+++ b/server.py
@@ -371,6 +371,9 @@ class Anonymous_Github:
         @application.route('/repository/<id>', methods=['GET'], defaults={'path': ''})
         @application.route('/repository/<id>/', methods=['GET'], defaults={'path': ''})
         @application.route('/repository/<id>/<path:path>', methods=['GET'])
+        @application.route('/r/<id>', methods=['GET'], defaults={'path': ''})
+        @application.route('/r/<id>/', methods=['GET'], defaults={'path': ''})
+        @application.route('/r/<id>/<path:path>', methods=['GET'])
         def repository(id, path):
             repo_path = self.config_dir + "/" + str(id)
             config_path = repo_path + "/config.json"