Community
Participate
Working Groups
I'm not sure this is actually a bug, but maybe something that the project leadership in WTP source editing needs to complete in the portal, but the GitHub mirror for WTP seems to be empty. Is this mirroring the cvs to git mirrors that we have currently, or is just mirroring the git repos that have been created when a project migrates to git. https://github.com/eclipse/org.eclipse.webtools-sourceediting
We only mirror Git repos. An empty clone seems odd. Does the project have a Git repo?
(In reply to comment #1) > We only mirror Git repos. An empty clone seems odd. Does the project have a Git > repo? No it has a cvs 2 git repo. git://dev.eclipse.org/org.eclipse.webtools/sourceediting.git If it is a bad repo on github, then we probably should delete it from git hub. We have the same issue with several other wtp repos. https://github.com/eclipse/org.eclipse.webtools-webservices https://github.com/eclipse/org.eclipse.webtools-incubator https://github.com/eclipse/org.eclipse.webtools-common
I'm not sure where those repositories came from. They're not in the list that we provided to GitHub. I will investigate.
I've deleted these repos.