Jędrzej B. Lewandowski, MD Jblew

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

	using Plots, Interact, Base.Threads, BenchmarkTools

	# only called by resize.
	function batchify(maxIndex, numBatches)
	if mod(maxIndex, numBatches) == 0
	n = numBatches
	else
	n = numBatches - 1
	end
	batchSize = div(maxIndex, n)

	# The initial version
	if [ ! -f .env ]
	then
	export $(cat .env \| xargs)
	fi

	# My favorite from the comments. Thanks @richarddewit & others!
	set -a && source .env && set +a

	# The command finds the most recent tag that is reachable from a commit.
	# If the tag points to the commit, then only the tag is shown.
	# Otherwise, it suffixes the tag name with the number of additional commits on top of the tagged object
	# and the abbreviated object name of the most recent commit.
	git describe

	# With --abbrev set to 0, the command can be used to find the closest tagname without any suffix:
	git describe --abbrev=0

	# other examples

	#
	# I use SSH URLs in my submodules for convenience. However, Travis CI is unable to
	# clone from those URLs even though the repositories are public. To fix this, I'm
	# simply manipulating the .gitmodules file with sed so it points to the public
	# URLs before initializing the submodules.
	#
	# Hope it saves you some frustration!
	#

	# disable the default submodule logic

	import numpy as np
	import matplotlib.pyplot as plt
	import matplotlib.animation as animation
	import serial

	fig, ax = plt.subplots()
	line, = ax.plot(np.random.rand(10))
	ax.set_ylim(-5000, 5000)
	xdata, ydata = [0]100, [0]100
	raw = serial.Serial("/dev/ttyUSB1",9600)

	#!/usr/bin/env bash
	DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
	cd "${DIR}"

	function targetBlank() {
	// remove subdomain of current site's url and setup regex
	var internal = location.host.replace("www.", "");
	internal = new RegExp(internal, "i");

	var a = document.getElementsByTagName('a'); // then, grab every link on the page
	for (var i = 0; i < a.length; i++) {
	var href = a[i].host; // set the host of each link
	if( !internal.test(href) ) { // make sure the href doesn't contain current site's host
	a[i].setAttribute('target', '_blank'); // if it doesn't, set attributes