nothinking

moment.fn.weekOfMonthFormat = function(format) {
    var formats = format.split("-");
    return moment(formats[0] + "-" + formats[1], "YYYY-MM").weekOfMonth(formats[2]);
}
moment.fn.koDay = function() {
    var day = this.clone().day() || 7;
    return --day;
}
moment.fn.weekOfMonth = function(input) {
    var day = this.clone().date(1).koDay();

nothinking

/* github wide */
.container { width:auto !important}
.repository-with-sidebar .repository-sidebar {position: fixed; right:0;bottom:0;background:#fff;z-index:100;}
.repository-with-sidebar .repository-content {float:none; margin-right:100px;}
.discussion-timeline {float:none;width:auto;margin-right:160px}
.discussion-sidebar {position:fixed;right:50px;bottom:0;top:auto;z-index:100;background:#fff}
.repository-with-sidebar.with-full-navigation .repository-content {width:auto;margin-right:190px}
.repository-with-sidebar .repository-content {width:auto}

nothinking

# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName