Krum Tsvetkov

I need some feedback on this one. In short - my current feeling is that we don't need a Wiki. Most of the content we have in the Wiki could...

Thanks for the feedback! I think with this I can already start moving the contributor guide targeted for developers under /docs in the code repository. @jasonk000 Thank for the pointer...

Found a similar discussion (how to generate the eclipse help from markdown) for Egit https://github.com/eclipse-egit/egit/issues/6 . Might be interesting to follow if there is some development there.

@jasonk000 My initial thought was that we move the content from the Wiki, delete it from there, and leave there only a link to the new location. I was too...

I think we have now a good starting point: - I updated (hopefully improved) the CONTRIBUTING.md - Moved the Contributor Reference (and some of the pages it refers to) from...

Thanks @kgibm, We are indeed lacking the functionality to have builds on PRs and automated validation. In the gitlab issue for moving MAT to Github, there was a proposal from...

I found this tip here, but I have no idea how/where to specify the mentioned additional configuration. https://github.com/eclipse-cbi/jiro/wiki/Common-build-errors#what-is-killing-my-build-im-using-custom-containers

Running the tests with -Xmx1024m instead of -Xmx1536 resulted in a green build. However, I don't know yet how reproducible this is (I got some green builds last month also...

Thanks @fedejeanne for reporting this! About the updates picking the 1.15.0 version - this was something I've overlooked when doing the 1.16 release - I haven't updated the ["latest" update...

Oh, I see now. This is on one side confusing, on the other side we have a broken link. The orange "download" button is present on all pages and should...