firebait

const https = require('https');

//////////// UPDATE THESE VALUES /////////////
const releaseBranch = '<RELEASE BRANCH>';
const githubUsername = '<YOUR USERNAME>';
const githubPassword = '<YOUR PASSWORD>'
//////////////////////////////////////////////

const stories = new Set();
let processedRepos = 0;

mobilemind

# 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

nathan-osman

CXX = g++
LD  = g++

variant: main.o
	$(LD) main.o -o variant

main.o: type.h variant.h main.cpp
	$(CXX) -c main.cpp -o main.o

johnboxall

import re

# Some mobile browsers which look like desktop browsers.
RE_MOBILE = re.compile(r"(iphone|ipod|blackberry|android|palm|windows\s+ce)", re.I)
RE_DESKTOP = re.compile(r"(windows|linux|os\s+[x9]|solaris|bsd)", re.I)
RE_BOT = re.compile(r"(spider|crawl|slurp|bot)")

        
def is_desktop(user_agent):
  """