[#313] move MylynDocs org.eclipse.mylyn.wikitext.tasks.ui

[BeckerFrank]

[#313] move MylynDocs org.eclipse.mylyn.wikitext.tasks.ui Project to Mylyn as org.eclipse.mylyn.tasks.wikitext.ui

(actual commit was eclipse-mylyn/org.eclipse.mylyn.docs@61491d1)

[gnl42]

Could you add org.eclipse.mylyn.commons.core/.settings/{org.eclipse.jdt.core.prefs,org.eclipse.jdt.ui.prefs} to the .settings folder

[gnl42]

Did you copy/past the files or merge repositories?
I don't see any git history for the new files

[merks]

I still get the sense that it would be in the long terms interest to merge the repos as was already done with all the separate repos....

[BeckerFrank]

Could you add org.eclipse.mylyn.commons.core/.settings/{org.eclipse.jdt.core.prefs,org.eclipse.jdt.ui.prefs} to the .settings folder

I have copied the .settings folder from org.eclipse.mylyn.gitlab.core. This folder only contains the org.eclipse.jdt.core.prefs. So I have to create the org.eclipse.jdt.ui.prefs also in the gitlab projects.

[BeckerFrank]

Did you copy/past the files or merge repositories? I don't see any git history for the new files

Yes because I only want to move one project.

[BeckerFrank]

I still get the sense that it would be in the long terms interest to merge the repos as was already done with all the separate repos....

Yes, we can start a discussion with @akurtakov (the Mylyn Docs committer).

If we merge repositories, we should answer the following questions.

• Is it ok that we have the same release dates?
• Can we have a single Jenkins build
• Can we set up a single configuration of .github workflows?
• Do we still need two separate p2 update sites?
• maybe some more ...

[akurtakov]

Yes, we can start a discussion with @akurtakov (the Mylyn Docs committer).

If we merge repositories, we should answer the following questions.

* Is it ok that we have the same release dates?

Assuming Mylyn releases regularly, this sounds ok.

* Can we have a single Jenkins build

Yes, it's possible but one would have to work quite a bit to make it happen. IMHO if this doesn't happen there is no point in merging.

* Can we set up a single configuration of .github workflows?

I don't see an issue here.

* Do we still need two separate p2 update sites?

Single repo should be fine (considering the prereqs of releng being unified and regular releases)

* maybe some more ...

Wikitext is used a lot (could be even mostly) via Maven Central https://mvnrepository.com/artifact/org.eclipse.mylyn.wikitext - so the release process should keep the publishing to Maven Central working.

[gnl42]

Did you copy/past the files or merge repositories? I don't see any git history for the new files

Yes because I only want to move one project.

You can still just "merge" one folder/files. Something like: https://medium.com/@ayushya/move-directory-from-one-repository-to-another-preserving-git-history-d210fa049d4b

[gnl42]

Could you add org.eclipse.mylyn.commons.core/.settings/{org.eclipse.jdt.core.prefs,org.eclipse.jdt.ui.prefs} to the .settings folder

I have copied the .settings folder from org.eclipse.mylyn.gitlab.core. This folder only contains the org.eclipse.jdt.core.prefs. So I have to create the org.eclipse.jdt.ui.prefs also in the gitlab projects.

With #200 I made org.eclipse.mylyn.commons.core the "reference" project for formatting rules. Not an issue at the moment, but should make a note to run the synch script occasionally

[BeckerFrank]

I think we should close this pull request because I star with integrating the whole mylyn docs repository with integrating Jenkins maven and GitHub.

[ruspl-afed]

I pay tribute to your courage @BeckerFrank

[wimjongman]

Where is a description of this task? It says #313, but that moves back to this PR. What is the plan, and why do we want this?

[wimjongman]

Sorry, I was confused. It turns out that Github now also shows PR's when searching in the issues section. There is eclipse-mylyn/org.eclipse.mylyn.docs#131 that explains it.

[BeckerFrank]

I close this pull request because the work was done with #316