My version of HedgeDoc is: Latest
What I expected to happen:
To have Github Integration to update my Markdown files in my Github Repositories
What actually happened:
The button of sync is not there
I already tried:
Hello,
HedgeDoc doesn’t offer a “Export to GitHub” function. IIRC this is a feature of CodiMD or HackMD.
HedgeDoc is an independent hard fork of CodiMD. We recommend to read https://hedgedoc.org/history/ to understand the name chaos. 
Understanding that it doesn’t currently exist, is there any possibility of getting equivalent “Export to GitHub” functionality added in?