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 < [email protected]> 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 > [email protected] > To unsubscribe from this list, visit > https://www.eclipse.org/mailman/listinfo/nebula-dev >
_______________________________________________ nebula-dev mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/nebula-dev
