[git-web] s/http/https on git.gnome.org too
- From: Andrea Veri <av src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [git-web] s/http/https on git.gnome.org too
- Date: Fri, 28 Jun 2013 13:53:44 +0000 (UTC)
commit 16943c808bbdde5ae5ebfe801c6bbb2d67736dd1
Author: Andrea Veri <av gnome org>
Date: Fri Jun 28 15:53:29 2013 +0200
s/http/https on git.gnome.org too
cgit-gnome.css | 12 ++++++------
cgit.css | 2 +-
gnome-layout.css | 22 +++++++++++-----------
gnome-style.css | 4 ++--
gnome.footer | 44 ++++++++++++++++++++------------------------
gnome.header | 8 ++++----
6 files changed, 44 insertions(+), 48 deletions(-)
---
diff --git a/cgit-gnome.css b/cgit-gnome.css
index 9ef7b20..18034c9 100644
--- a/cgit-gnome.css
+++ b/cgit-gnome.css
@@ -13,7 +13,7 @@ table#header td.logo {
}
#help-img .tab a {
- background:
url(http://git.gnome.org/browse/gnome-icon-theme-symbolic/plain/gnome/scalable/apps/help-browser-symbolic.svg)
no-repeat;
+ background:
url(https://git.gnome.org/browse/gnome-icon-theme-symbolic/plain/gnome/scalable/apps/help-browser-symbolic.svg)
no-repeat;
padding-left: 20px;
}
@@ -21,7 +21,7 @@ table#header td.logo {
body {
padding: 0px;
- background: url(http://www.gnome.org/wp-content/themes/gnome-grass/images/html-bg.png) repeat-x
scroll 0 10px #FFFFFF;
+ background: url(https://www.gnome.org/wp-content/themes/gnome-grass/images/html-bg.png) repeat-x
scroll 0 10px #FFFFFF;
height: 100%;
margin-bottom: 0px;
color: #2E3436;
@@ -45,7 +45,7 @@ a, a:visited, a:hover, table.list td a:hover {
/* Use a hard-hat instead of the GNOME logo for the site header */
#gnome-header {
- background: url(http://www-old.gnome.org/css/gnome-git.png) 20px 12px no-repeat;
+ background: url(https://www-old.gnome.org/css/gnome-git.png) 20px 12px no-repeat;
margin-top: 40px;
}
@@ -88,7 +88,7 @@ a, a:visited, a:hover, table.list td a:hover {
}
#global_domain_bar .tab a.root {
- background: url(http://www.gnome.org/wp-content/themes/gnome-grass/images/favicon.png) no-repeat scroll
0 0 #FFFFFF;
+ background: url(https://www.gnome.org/wp-content/themes/gnome-grass/images/favicon.png) no-repeat scroll
0 0 #FFFFFF;
border-right: 1px solid #CCCCCC;
color: #555753;
font-weight: bold;
@@ -127,14 +127,14 @@ table.tabs {
/* Footer Grass & community */
#footer_grass {
- background: url(http://www.gnome.org/wp-content/themes/gnome-grass/images/grass.png) repeat-x scroll top
transparent;
+ background: url(https://www.gnome.org/wp-content/themes/gnome-grass/images/grass.png) repeat-x scroll
top transparent;
height: 39px;
margin-top: -33px;
bottom: 0;
}
#footer_community {
- background: url(http://www.gnome.org/wp-content/themes/gnome-grass/images/footer_arts/community.png)
center no-repeat;
+ background: url(https://www.gnome.org/wp-content/themes/gnome-grass/images/footer_arts/community.png)
center no-repeat;
height: 180px;
bottom: 0;
}
diff --git a/cgit.css b/cgit.css
index bd36bcd..c89fe36 100644
--- a/cgit.css
+++ b/cgit.css
@@ -4,7 +4,7 @@ body, table, form {
}
body {
- background: url(http://www.gnome.org/wp-content/themes/gnome-grass/images/html-bg.png) repeat-x
scroll 0 10px #FFFFFF;
+ background: url(https://www.gnome.org/wp-content/themes/gnome-grass/images/html-bg.png) repeat-x
scroll 0 10px #FFFFFF;
font-family: sans-serif;
font-size: 10pt;
color: #333;
diff --git a/gnome-layout.css b/gnome-layout.css
index 14bec89..4bc513c 100644
--- a/gnome-layout.css
+++ b/gnome-layout.css
@@ -246,7 +246,7 @@ body {
margin: 0px;
padding: 0px;
font-family: sans-serif;
- background: white url(http://www-old.gnome.org/css/star.png) -100px -200px no-repeat;
+ background: white url(https://www-old.gnome.org/css/star.png) -100px -200px no-repeat;
height: 101%;
}
@@ -291,12 +291,12 @@ div.sidebar {
div.sidebar h2 {
margin-top: 0;
padding: 5px 2ex 5px 2ex;
- background: url(http://www-old.gnome.org/css/t.png) top left repeat-y;
+ background: url(https://www-old.gnome.org/css/t.png) top left repeat-y;
font-size: 100%;
}
div.tab-git-help {
- background:
url(http://git.gnome.org/browse/gnome-icon-theme-symbolic/tree/gnome/scalable/apps/help-browser-symbolic.svg)
top left;
+ background:
url(https://git.gnome.org/browse/gnome-icon-theme-symbolic/tree/gnome/scalable/apps/help-browser-symbolic.svg)
top left;
}
ul.toc {
@@ -322,7 +322,7 @@ ul.toc li a:hover {
#general {
list-style: none;
- background: #2E3436 url(http://www-old.gnome.org/css/general_bg.png) 0 100% repeat-x;
+ background: #2E3436 url(https://www-old.gnome.org/css/general_bg.png) 0 100% repeat-x;
text-align: right;
padding: 0 1ex;
margin: 0;
@@ -331,7 +331,7 @@ ul.toc li a:hover {
#general li {
display: inline;
- background: url(http://www-old.gnome.org/css/general_separator.png) 0 0 no-repeat;
+ background: url(https://www-old.gnome.org/css/general_separator.png) 0 0 no-repeat;
padding-top: 10px;
padding-bottom: 8px;
margin-left: 0px;
@@ -352,21 +352,21 @@ ul.toc li a:hover {
#general .home {
float: left;
- background: url(http://www-old.gnome.org/css/general_separator.png) 100% 0 no-repeat;
+ background: url(https://www-old.gnome.org/css/general_separator.png) 100% 0 no-repeat;
padding-top: 0;
padding-bottom: 0;
}
#general .home a {
float: left;
- background: url(http://www-old.gnome.org/css/foot.png) 7px 50% no-repeat;
+ background: url(https://www-old.gnome.org/css/foot.png) 7px 50% no-repeat;
margin-left: 0;
padding-left: 27px;
}
#gnome-header {
- background: #729FCF url(http://www-old.gnome.org/css/gnome.png) 15px 10px no-repeat;
+ background: #729FCF url(https://www-old.gnome.org/css/gnome.png) 15px 10px no-repeat;
float: left;
width: 100%;
font-size: 75%;
@@ -421,21 +421,21 @@ ul.toc li a:hover {
}
/* #portal-globalnav li span {
- background: url(http://www-old.gnome.org/css/tab_right.png) 100% 0 no-repeat;
+ background: url(https://www-old.gnome.org/css/tab_right.png) 100% 0 no-repeat;
padding: 7px 28px 7px 19px;
} */
#portal-globalnav li.selected a {
color: #3566A5;
- background: url(http://www-old.gnome.org/css/tab_left.png) 0 -57px no-repeat;
+ background: url(https://www-old.gnome.org/css/tab_left.png) 0 -57px no-repeat;
border-bottom: none;
padding-top: 8px;
padding-bottom: 8px;
}
/* #portal-globalnav li.selected a span {
- background: url(http://www-old.gnome.org/css/tab_right.png) 100% -57px no-repeat;
+ background: url(https://www-old.gnome.org/css/tab_right.png) 100% -57px no-repeat;
padding-top: 8px;
padding-bottom: 8px;
}
diff --git a/gnome-style.css b/gnome-style.css
index b6049c8..ca2b1c5 100644
--- a/gnome-style.css
+++ b/gnome-style.css
@@ -221,13 +221,13 @@ input[type=radio] {
/* Footer Grass */
#footer_grass {
- background: url(http://www.gnome.org/wp-content/themes/gnome-grass/images/grass.png) top center repeat-x;
+ background: url(https://www.gnome.org/wp-content/themes/gnome-grass/images/grass.png) top center
repeat-x;
height: 39px;
margin-top: -33px;
}
#footer_community {
- background: url(http://www.gnome.org/wp-content/themes/gnome-grass/images/footer_arts/community.png)
center no-repeat;
+ background: url(https://www.gnome.org/wp-content/themes/gnome-grass/images/footer_arts/community.png)
center no-repeat;
height: 180px;
margin-top: -33px;
}
diff --git a/gnome.footer b/gnome.footer
index f68c467..80ae272 100644
--- a/gnome.footer
+++ b/gnome.footer
@@ -15,27 +15,27 @@
<ul class="sub-menu">
<li id="menu-item-1049" class=
"menu-item menu-item-type-post_type menu-item-object-page menu-item-1049">
- <a href="http://www.gnome.org/about/">About Us</a></li>
+ <a href="https://www.gnome.org/about/">About Us</a></li>
<li id="menu-item-1050" class=
"menu-item menu-item-type-post_type menu-item-object-page menu-item-1050">
- <a href="http://www.gnome.org/get-involved/">Get Involved</a></li>
+ <a href="https://www.gnome.org/get-involved/">Get Involved</a></li>
<li id="menu-item-1051" class=
"menu-item menu-item-type-post_type menu-item-object-page menu-item-1051">
- <a href="http://www.gnome.org/teams/">Teams</a></li>
+ <a href="https://www.gnome.org/teams/">Teams</a></li>
<li id="menu-item-1053" class=
"menu-item menu-item-type-post_type menu-item-object-page menu-item-1053">
- <a href="http://www.gnome.org/support-gnome/">Support GNOME</a></li>
+ <a href="https://www.gnome.org/support-gnome/">Support GNOME</a></li>
<li id="menu-item-1054" class=
"menu-item menu-item-type-post_type menu-item-object-page menu-item-1054">
- <a href="http://www.gnome.org/contact/">Contact Us</a></li>
+ <a href="https://www.gnome.org/contact/">Contact Us</a></li>
<li id="menu-item-2246" class=
"menu-item menu-item-type-post_type menu-item-object-page menu-item-2246">
- <a href="http://www.gnome.org/foundation/">The GNOME Foundation</a></li>
+ <a href="https://www.gnome.org/foundation/">The GNOME Foundation</a></li>
</ul>
</li>
@@ -46,23 +46,23 @@
<ul class="sub-menu">
<li id="menu-item-1055" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1055">
- <a href="http://developer.gnome.org">Developer Center</a></li>
+ <a href="https://developer.gnome.org">Developer Center</a></li>
<li id="menu-item-1056" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1056">
- <a href="http://library.gnome.org">Documentation</a></li>
+ <a href="https://help.gnome.org">Documentation</a></li>
<li id="menu-item-1057" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1057">
- <a href="http://live.gnome.org">Wiki</a></li>
+ <a href="https://wiki.gnome.org">Wiki</a></li>
<li id="menu-item-1058" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1058">
- <a href="http://mail.gnome.org/mailman/listinfo">Mailing Lists</a></li>
+ <a href="https://mail.gnome.org/mailman/listinfo">Mailing Lists</a></li>
<li id="menu-item-1059" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1059">
- <a href="http://live.gnome.org/GnomeIrcChannels">IRC Channels</a></li>
+ <a href="https://wiki.gnome.org/GnomeIrcChannels">IRC Channels</a></li>
<li id="menu-item-1060" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1060">
@@ -70,11 +70,11 @@
<li id="menu-item-1061" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1061">
- <a href="http://git.gnome.org/browse/">Development Code</a></li>
+ <a href="https://git.gnome.org/browse/">Development Code</a></li>
<li id="menu-item-1062" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1062">
- <a href="http://live.gnome.org/Jhbuild">Build Tool</a></li>
+ <a href="https://wiki.gnome.org/Jhbuild">Build Tool</a></li>
</ul>
</li>
@@ -85,31 +85,27 @@
<ul class="sub-menu">
<li id="menu-item-1063" class=
"menu-item menu-item-type-post_type menu-item-object-page menu-item-1063">
- <a href="http://www.gnome.org/press/">Press Releases</a></li>
+ <a href="https://www.gnome.org/press/">Press Releases</a></li>
<li id="menu-item-1064" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1064">
- <a href="http://www.gnome.org/start/stable">Latest Release</a></li>
+ <a href="https://www.gnome.org/start/stable">Latest Release</a></li>
<li id="menu-item-1065" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1065">
- <a href="http://planet.gnome.org">Planet GNOME</a></li>
-
- <li id="menu-item-1066" class=
- "menu-item menu-item-type-custom menu-item-object-custom menu-item-1066">
- <a href="http://gnomejournal.org">GNOME Journal</a></li>
+ <a href="https://planet.gnome.org">Planet GNOME</a></li>
<li id="menu-item-1067" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1067">
- <a href="http://news.gnome.org">Development News</a></li>
+ <a href="https://news.gnome.org">Development News</a></li>
<li id="menu-item-1068" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1068">
- <a href="http://identi.ca/gnome">Identi.ca</a></li>
+ <a href="https://identi.ca/gnome">Identi.ca</a></li>
<li id="menu-item-1069" class=
"menu-item menu-item-type-custom menu-item-object-custom menu-item-1069">
- <a href="http://twitter.com/gnome">Twitter</a></li>
+ <a href="https://twitter.com/gnome">Twitter</a></li>
</ul>
</li>
</ul>
@@ -117,7 +113,7 @@
</div>
<div id="footnotes" class="grid_9">
-<p>Copyright © 2004-2013, <a href="http://www.gnome.org/">The GNOME Project</a>.</p>
+<p>Copyright © 2004-2013, <a href="https://www.gnome.org/">The GNOME Project</a>.</p>
<br />
<small><p>Hosted by <a href="http://www.redhat.com/">Red Hat</a>.
Powered by <a href="http://hjemli.net/git/cgit/">cgit</a>.</p>
diff --git a/gnome.header b/gnome.header
index 5d9c08a..72e2d6e 100644
--- a/gnome.header
+++ b/gnome.header
@@ -1,7 +1,7 @@
<div id="global_domain_bar">
<div class="maxwidth">
<div class="tab">
- <a class="root" href="http://www.gnome.org/">GNOME.org</a>
+ <a class="root" href="https://www.gnome.org/">GNOME.org</a>
</div>
</div>
</div>
@@ -9,7 +9,7 @@
<div id="page">
<div id="logo_bar" class="container_12">
<div id="logo" class="grid_3">
- <a title="Go to home page" href="http://git.gnome.org/"><img
src="http://www-old.gnome.org/css/gnome-git.png" alt="GNOME: Git Repository" /></a>
+ <a title="Go to home page" href="https://git.gnome.org/"><img
src="https://www-old.gnome.org/css/gnome-git.png" alt="GNOME: Git Repository" /></a>
</div>
<div id="top_bar" class="grid_9">
@@ -18,11 +18,11 @@
<ul id="menu-globalnav" class="menu">
<li id="menu-item-1039" class=
"menu-item menu-item-type-post_type menu-item-object-page menu-item-1039">
- <a href="http://git.gnome.org/">Home</a></li>
+ <a href="https://git.gnome.org/">Home</a></li>
<li id="menu-item-1037" class=
"menu-item menu-item-type-post_type menu-item-object-page menu-item-1037">
- <a href="https://live.gnome.org/Git">Git Help</a></li>
+ <a href="https://wiki.gnome.org/Git">Git Help</a></li>
</ul>
</div>
</div>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]