Hello, regarding the openstreetmap repos on github - would it be possible to clean up the duplicate mirror/.../mirror branches (they just get in the way :)). Fortunately, it seems the bug that periodically created new ones was fixed some time ago.
Thanks, Petr Morávek aka Xificurk
signature.asc
Description: OpenPGP digital signature
_______________________________________________ dev mailing list [email protected] http://lists.openstreetmap.org/listinfo/dev

