On Monday 27 February 2017 06:24:26 Miro Kropáček wrote: > So if you go to https://github.com/freemint/tos.hyp and change a file (or, > perhaps more often, create a pull request which gets merged) Is that a repository of its own, or is it somehow synced with Gerhards version?