Hey Christian, Yes, just push it. Then a couple of minutes later the page is refreshed. If you made any errors you can push again.
Cheers, Wim On Mon, May 25, 2020 at 2:44 PM Christian Pontesegger < christian.ponteseg...@web.de> wrote: > Hi devs, > > I submitted a patchset to add the timeline widget to the webpage. > https://git.eclipse.org/r/c/158521 > > Whats the procedure here? Should I directly push it through or do you > want to review? > > cheers > Christian > > _______________________________________________ > nebula-dev mailing list > nebula-dev@eclipse.org > To unsubscribe from this list, visit > https://www.eclipse.org/mailman/listinfo/nebula-dev >
_______________________________________________ nebula-dev mailing list nebula-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/nebula-dev