On Sun, 30 Jun 2019 at 14:00, Clemens Lang wrote:
>
> On Sat, Jun 29, 2019 at 11:58:04PM +0200, Mojca Miklavec wrote:
> > We are approaching the release of 10.15.
> >
> > What are the chances to get the "port migrate" code merged before the
> > end of this summer and before the release of 10.15?
>
Dear Rainer,
(or anyone else from the infra team; I'm forwarding this to the
development mailing list as there's some more background info, I hope
that's ok)
Would it be acceptable to enable some web hooks in the base & ports
repository for testing?
On Tue, 2 Jul 2019 at 08:41, Rajdeep Bharati w