LunarTwilight

/* ==UserStyle==
@name           Github redesign fixes
@namespace      github.com/openstyles/stylus
@version        2.0.0
@description    Fixes various issues with Github's redesign
@author         LunarTwilight
@updateURL      https://gist.github.com/LunarTwilight/44c05e0a7d6163ec3266e0283aec1e8c/raw/github-redesign-fixes.user.css
@preprocessor   less
@var            color background "Readme header background color" #f1f8ff
@var            color border "Readme header border color" #e6e4e4

frankyaorenjie

FROM python:3.6

ENV LC_ALL C.UTF-8
ENV LANG C.UTF-8
ENV GOOGLE_APPLICATION_CREDENTIALS /service/scripts/application_default_credentials.json

COPY . /service/scripts
WORKDIR /service/scripts

RUN pip install pipenv

heyalexej

>>> import pytz
>>> 
>>> for tz in pytz.all_timezones:
...     print tz
...     
... 
Africa/Abidjan
Africa/Accra
Africa/Addis_Ababa
Africa/Algiers

n-st

javascript:(function(){if(location.href.indexOf('http')!=0){input=prompt('URL:','http://');if(input!=null){location.href='http://web.archive.org/web/*/'+input}}else{location.href='http://web.archive.org/web/*/'+location.href;}})();

leoapost

# Replace REMOTE_NAME with your remote name (e.g. origin)

git branch -r | grep REMOTE_NAME/ | grep -v 'master$' | grep -v HEAD| cut -d/ -f2 | while read line; do git push REMOTE_NAME :$line; done;