diff options
| author | Paul Menzel <pmenzel+cairo@molgen.mpg.de> | 2018-10-16 12:21:06 +0200 |
|---|---|---|
| committer | Bryce Harrington <bryce@bryceharrington.org> | 2018-10-16 10:03:07 -0700 |
| commit | 1c9201721d4c3ad667214cb2032e038e57395feb (patch) | |
| tree | 3b169c6564bd329f6e69ead607d0636ae5b05385 /HACKING | |
| parent | 15ad6ca3e1ae2f34da4de1c81ac085031e1de8d1 (diff) | |
| download | cairo-1c9201721d4c3ad667214cb2032e038e57395feb.tar.gz | |
Use HTTPS URLs for freedesktop.org domains
Run the command below suggested by geirha in ##sed@irc.freenode.net.
git grep -l 'http://.*freedesktop.org' | xargs sed -i 's|http\(://\([[:alnum:].-]*\.\)\{0,1\}freedesktop\.org\)|https\1|g'
Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
Diffstat (limited to 'HACKING')
| -rw-r--r-- | HACKING | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -48,7 +48,7 @@ Bug Tracking System We use a standard bugzilla bug tracking system available at: - http://bugs.freedesktop.org/ + https://bugs.freedesktop.org/ See file named BUGS for detailed information on reporting bugs. In short, for straight bug reports, it's best to report them there such that they @@ -75,7 +75,7 @@ We use /git/ for version control. See: For more information on using git, see: - http://freedesktop.org/wiki/Infrastructure/git/ + https://freedesktop.org/wiki/Infrastructure/git/ Build System |