Dummy repository for reporting a bug with Guthub's wiki