Add missing default GitHub options