With T180454 concluding in integrating the DataTypes extension/library into Wikibase git repository, there should be no development happening any more on https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/DataTypes.
Can we make the git repository read-only? Is filing such a ticket the right way to do it, or should I request it somehow differently?
Also, possibly any CI config that assumes such a repository is in operation could be freed now.