// ==UserScript==
// @name          gmail to https
// @namespace     http://spig.net/
// @description   redirect gmail to https
// @include       http://mail.google.com/*
// @date          2007-02-23
// @version       0.1
// @GM_version    0.6.7.20070131.0
// ==/UserScript==

(function() {
    window.location.href = window.location.href.replace(/^http:/, "https:");
})();