Skip to content

Instantly share code, notes, and snippets.

View KurzGedanke's full-sized avatar
✍️
Blogging here and there

Thore D. J. KurzGedanke

✍️
Blogging here and there
View GitHub Profile
@KurzGedanke
KurzGedanke / switch_branch.sh
Created July 3, 2020 11:49 — forked from cherti/switch_branch.sh
help switching a git repo's default branch from master to main
#!/bin/bash
# this script will assist you in migrating git-repositories from
# the primary branch 'master' to the primary branch 'main'.
# It currently works with only one remote (adjust accordingly if you
# have more than one), the name of which is taken as the first argument.
#
# Example: bash switch_branch.sh origin
#
# It will
# taken from http://www.piware.de/2011/01/creating-an-https-server-in-python/
# generate server.xml with the following command:
# openssl req -new -x509 -keyout server.pem -out server.pem -days 365 -nodes
# run as follows:
# python simple-https-server.py
# then in your browser, visit:
# https://localhost:4443
import BaseHTTPServer, SimpleHTTPServer
import ssl