Changes between Version 9 and Version 10 of GitHubProblems

Timestamp:

Dec 15, 2014, 8:32:40 PM (10 years ago)

Author:

Pavel Demin

Comment:

--

GitHubProblems

@@ -16 +16 @@
 }}}
 
-  - no search in wiki pages (github proposes to do it from command line using grep)
+  - no search in wiki pages (!GitHub proposes to do it from command line using grep)
 
   - limited code browser:
@@ -26 +26 @@
   - some information (formatting, dates, users) will be lost after migration of the tickets from trac to github.
 
-  - backup of github code repositories is more difficult (needs manual intervention for any new repository)
+  - backup of !GitHub code repositories is more difficult (needs manual intervention for any new repository)
 
   - backup of issues/tickets is even more difficult