Yes, an user just raised an issue which I fixed in one PR, however the PR is 5yo, should I redo it in gitlab? Shouldn't the GitHub repo be removed or marked as moved to KDE?
Em sáb., 21 de dez. de 2019 às 10:23, Friedrich W. H. Kossebau < kosse...@kde.org> escreveu: > Hi Stephen, > > Am Samstag, 21. Dezember 2019, 13:03:17 CET schrieb Stephen Kelly: > > Great, Grantlee is now available at g...@git.kde.org:grantlee.git. > > > > I've pushed a few commits to make it depend on ECM etc. > > You pushed only to github though it seems :) Forwarded your commits now to > the > master branch on the main KDE repo. And did some commits to make things > even > more (current) KF-like. > > Speaking of making sure all is synced & moved from github to KDE systems: > > There are still some merge requests open on https://github.com/steveire/ > grantlee/pulls <https://github.com/steveire/grantlee/pulls>. Also are > there some open issues which might be wanted to be > moved over to bugs.kde.org? > > Cheers > Friedrich > > > -- Daniel Nicoletti KDE Developer - http://dantti.wordpress.com