Rodney Lorrimar rvl

Pushing to Multiple Git Repos

If a project has to have multiple git repos (e.g. Bitbucket and Github) then it's better that they remain in sync.

Usually this would involve pushing each branch to each repo in turn, but actually Git allows pushing to multiple repos in one go.

If in doubt about what git is doing when you run these commands, just

I hereby claim:

I am rvl on github.
I am rvl (https://keybase.io/rvl) on keybase.
I have a public key whose fingerprint is 6051 06FA 9CD6 D237 F6E0 8517 E8E4 A1E5 7778 A1B6

To claim this, I am signing this object:

I hereby claim:

To claim this, I am signing this object:

	#!/usr/bin/python3
	#
	# virgin_data_balance.py
	#
	# Checks how much data you have used on your Virgin Mobile (Australia)
	# sim card.
	#
	# Usage: ./virgin_data_balance.py phone_number pin_code
	#
	# Can also be used as a CGI script on your web server.

	# How to build docker images (NIX_PATH and hydra cache required when building off master branch)
	# export NIX_PATH=$HOME/dev
	# nix-build --option extra-binary-caches http://hydra.nixos.org/ test-docker.nix \| xargs -n1 docker load -i

	with import <nixpkgs> {};

	rec {
	# 1. basic example
	bash = dockerTools.buildImage {
	name = "bash";