undoing github's snafu