Revert "Revert "For github""

This reverts commit 1789e2961189939b69b3fb4e9c58d8f5cb034275.