Does proper version control mean using github or just a git repo or something of that sort? I guess the developer wants to keep it a single dev project (old fashioned but the small project size means it doesn't make a big difference).[1]

[1]: https://sourceforge.net/p/keepass/discussion/329220/thread/0...