ruxi

1. Log into GitHub
2. Fork this Gist
3. Edit your version to share your team's activity

Primary differences between SSH and HTTPS. This post is specifically about accessing Git repositories on GitHub.

Protocols to choose from when cloning:

plain Git, aka git://github.com/

Does not add security beyond what Git itself provides. The server is not verified.

If you clone a repository over git://, you should check if the latest commit's hash is correct.

	%%writefile make_conda_env.sh
	#!/usr/bin/env bash
	# author: github.com/ruxi
	# reproducibly create conda env

	read -p "Create new conda env (y/n)?" CONT

	if [ "$CONT" == "n" ]; then
	echo "exit";
	else

	%%writefile make_conda_env.sh
	#!/usr/bin/env bash
	# author: github.com/ruxi
	# reproducibly create conda env

	read -p "Create new conda env (y/n)?" CONT

	if [ "$CONT" == "n" ]; then
	echo "exit";
	else

	#!/usr/bin/env python
	# Note, updated version of
	# https://github.com/ipython/ipython-in-depth/blob/master/tools/nbmerge.py
	"""
	usage:

	python nbmerge.py A.ipynb B.ipynb C.ipynb > merged.ipynb
	"""

	import io