If we apply for Gitbox setup we will be able to close it ourselves. If we don't do it now then Infra will move us to Gitbox in 2-3 months and then we will be able to close it. Shall we apply for Gitbox ? :-)
On Mon, Dec 10, 2018 at 11:38 AM Maxim Solodovnik <[email protected]> wrote: > I don't have rights > (was unable to merge own PR via UI ...) > > On Mon, 10 Dec 2018 at 16:35, Andrea Del Bene <[email protected]> > wrote: > > > Hi, > > > > I don't remember which is the status of GitHub integration with Apache > > repository. Can anybody close PR from GitHub? > > > > Thank you. > > -- > > Andrea Del Bene. > > Apache Wicket committer. > > > > > -- > WBR > Maxim aka solomax >
