Fix GitHub push/pull when branch is an empty string.