No special web procedure. Just merge via command line and push the branch. :-)<br><br><div class="gmail_quote">On Tue Nov 25 2014 at 1:32:16 AM Stefan Burnicki <<a href="mailto:stefan.burnicki@burnicki.net">stefan.burnicki@burnicki.net</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hey,<br>
<br>
no I didn't merge the branch, yet.<br>
Is there some web procedure to do it? Or should I just merge it via git<br>
command line via commandline and push it?<br>
<br>
Am 20.11.2014 um 17:11 schrieb Eshton Robateau:<br>
> I've been offline recently (my machine died, finally got a replacement).<br>
> My git workflow is not completely updated but I should be up soon.<br>
> Has Stefan pushed the new branch as yet?<br>
><br>
<br>
______________________________<u></u>_________________<br>
Bangarang mailing list<br>
<a href="mailto:Bangarang@kde.org" target="_blank">Bangarang@kde.org</a><br>
<a href="https://mail.kde.org/mailman/listinfo/bangarang" target="_blank">https://mail.kde.org/mailman/<u></u>listinfo/bangarang</a><br>
</blockquote></div>