Integrate Overleaf with GitHub

Status

Done

Assigned

guy

Notes

• This is the first step of many in making contributions to the whitepaper be permissionless
• If we sync overleaf to github, should we remove the version history folder from the Beanstalk github repo?