remove GitHub post-processing