Several plug-ins from this Git repository have been migrated to
eclipse.platform.ui. Please also check this repository if you search for
plug-ins starting with org.eclipse.e4.

Please see org.eclipse.platform.ui repository.