[OGDev] trac tickets migrated to github issues