Re: [Development] GitHub Pull requests

On Thursday, 12 March 2020 13:29:10 PDT Robert Löhning wrote: > > Why would we do that? > > Hi, > > after having worked in a project in GitHub for a couple of months now > and seeing their CI from the user perspective, this sounds feasible to me. > > - changes are CI-tested individually, not as

Re: [Development] Debian packaging from Git snapshots (qtsystems, qtfeedback, qtpim)

Hi Mike, I don't know much / anything about QtSystems, perhaps Lorn has more information about that. I am currently the maintainer of QtFeedback and QtPIM, although the amount of time I have to spend on them is currently very limited, unfortunately. In regards to API and ABI stability: QtFeedback

[Development] Qt is being tested in oss-fuzz

pis.com/oss-fuzz-coverage/qt/reports/20200312/linux/report.html [4] https://bugs.chromium.org/p/oss-fuzz/issues/list?q=proj%3Dqt&can=1 [5] https://wiki.qt.io/Qt_Contributors_Summit_2019_-Fuzzing_Qt ___ Development mailing list Development@qt-project.org

Re: [Development] GitHub Pull requests

Am 11.03.20 um 06:13 schrieb Thiago Macieira: > On Tuesday, 10 March 2020 07:40:41 PDT Cristian Adam wrote: >> Hi, >> >> With the “GitHub issues” E-Mail thread we made sure the Issues are gone >> from the projects. >> >> What about Pull requests? >> >> For example qtbase

Re: [Development] GitHub Pull requests

On 12/03/2020 01.55, Thiago Macieira wrote: > On Wednesday, 11 March 2020 03:48:24 PDT Edward Welbourne wrote: >> Matthew Woehlke (10 March 2020 20:24) wrote: >>> In an ideal world... >> >> [snip] >> >>> Note that I believe nothing needs to be done to "merge" the GitHub PR; >>> if the commits becom

[Development] Debian packaging from Git snapshots (qtsystems, qtfeedback, qtpim)

Dear Qt upstream maintainers, I am currently packaging some Qt5 modules for Debian in the context of packaging Lomiri (formerly named Unity8) for Debian. I have come across dependencies in the Lomiri software stack that are available on Qt's Git server, but have not seen any recent releases

Re: [Development] GitHub Pull requests

Hello. What about Pull requests? Git developers have an interesting take on that, although it integrates with mailing list and not Gerrit: https://gitgitgadget.github.io/ For example, here's the GitHub PR: https://github.com/git/git/pull/714 and corresponding mailing list discussion: https