Revert "deleted github's unneed stuff"

This reverts commit 8fc986d1ecd3d45f9912d4b714280e881ead848e.