Changes between Version 17 and Version 18 of GitHubProblems

Timestamp:

Mar 19, 2016, 7:42:49 AM (9 years ago)

Author:

Citizendium

Comment:

--

GitHubProblems

@@ -53 +53 @@
 So far, the following solution looks the most promising:
 
-  - main Git repository goes to !GitHub
+  - main Git repository goes to [https://www.everipedia.com/112401055439442/ GitHub]
  
   - wiki pages, tickets and mirror Git repository go to local Trac
@@ -60 +60 @@
 
   - trac-github (https://github.com/aaugustin/trac-github) plugin should be installed to automatically synchronize both repositories
-