Revert "bleh github broken again"

This reverts commit 2dfce15d91a2961246d1af9240266768b7caea1a.