Repository: change repo/branch seperator to '~'

repo.php

@@ -34,7 +34,7 @@ if (!isset($_REQUEST['repo'])) {
 }
 
 $repoId = $_REQUEST['repo'];
-list($repoId, $branchId) = explode('/', $repoId);
+list($repoId, $branchId) = explode('~', $repoId);
 
 if (!array_key_exists($repoId, $allRepositories)) {
   Header("HTTP/1.1 404 Repository not found");

src/addCategories.js

@@ -12,7 +12,7 @@ function addCategoriesShow (repo) {
   let branchId
 
   if (repo) {
-    [ repoId, branchId ] = repo.split(/\//)
+    [ repoId, branchId ] = repo.split(/~/)
   }
 
   if (!content) {
@@ -91,7 +91,7 @@ function addCategoriesShow (repo) {
       branchSelector.onchange = () => {
         let branch = branchSelector.value
 
-        addCategoriesShow(repoId + '/' + branch)
+        addCategoriesShow(repoId + '~' + branch)
       }
 
       Object.keys(repoData.branches).forEach(