Changes between Version 4 and Version 5 of GitHub

Timestamp:

Feb 23, 2023, 9:36:12 PM (14 months ago)

Author:

Jun Omae

Comment:

Use https instead of http and tweak markups

GitHub

@@ -5 +5 @@
 !GitHub is a [wikipedia:Git] repository hosting service currently owned by [https://www.microsoft.com Microsoft]:
 
- http://github.com/
+ https://github.com/
 
 The service has become the standard for software developers, whether it is open-source or proprietary licensed. Some of its features inspired further developments on Trac over the years, and spawned for example #2035.
 
-Note that we maintain an official Git mirror of the SubversionRepository there, see [http://github.com/edgewall/trac edgewall/trac]. Also a number of plugins is hosted on this site, see [th:tags/github-hosted github-hosted plugins]. 
+Note that we maintain an official Git mirror of the SubversionRepository there, see [https://github.com/edgewall/trac edgewall/trac]. Also a number of plugins is hosted on this site, see [th:tags/github-hosted github-hosted plugins]. 
 
-For work that requires more than a single changeset, or if you are simply more comfortable working with Git or Mercurial, it can be easier to stage the changes in a distributed repository fork. Follow the guidelines on how to work from the ​GitHub mirror when [t:TracDev/SubmittingPatches#MultipleChangesets submitting patches]. 
+For work that requires more than a single changeset, or if you are simply more comfortable working with Git or Mercurial, it can be easier to stage the changes in a distributed repository fork. Follow the guidelines on how to work from the ​GitHub mirror when [TracDev/SubmittingPatches#MultipleChangesets submitting patches].