<div dir="ltr"><div>*  Email notification when one is mentioned or added as a reviewer</div><div>*  Color text in comment box</div><div>*  Click a failed job, run the job with the <b>updated</b> branch</div><div>*  Allow one to reorder commits (e.g., the fix up commits generated from applying comments) and mark commits that should be fixed up</div><div>*  Easily retarget a branch, e.g., from main to release (currently I have to checkout to local machine, do rebase, then push)   </div><div><br></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">--Junchao Zhang</div></div></div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jan 20, 2022 at 7:05 PM Barry Smith <<a href="mailto:bsmith@petsc.dev">bsmith@petsc.dev</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
  I got asked to go over some of my Gitlab workflow uses next week with some Gitlab developers; they do this to understand how Gitlab is used, how it can be improved etc. <br>
<br>
  If anyone has ideas on topics I should hit, let me know. I will hit them on the brokenness of appropriate code-owners not being automatically added to reviewers. And support for people outside of the Petsc group to set more things when they make MRs. And being to easily add non-PETSc folks as reviewers.<br>
<br>
  Barry<br>
<br>
</blockquote></div>