Skip to content

Instantly share code, notes, and snippets.

View mgruhler's full-sized avatar

Matthias Gruhler mgruhler

  • Stuttgart, Germany
View GitHub Profile
@MoOx
MoOx / index.js
Last active February 9, 2024 22:44
Export/import github labels
// go on you labels pages
// eg https://github.com/cssnext/cssnext/labels
// paste this script in your console
// copy the output and now you can import it using https://github.com/popomore/github-labels !
var labels = [];
[].slice.call(document.querySelectorAll(".label-link"))
.forEach(function(element) {
labels.push({
name: element.textContent.trim(),
@claytron
claytron / mirror-repos.py
Created January 18, 2013 23:57
Script to mirror repos from an organization
#!/usr/local/bin/python
# this script gets the JSON from api.github for a user
# and mirrors (or fetches, for existing) that user's repos
import os
import sys
import json
import urllib2
import subprocess