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.