Push some stuff to github sooner (rather than later).