how to deal with folders on GitHub, although there is no obvious support for them