Re: [petsc-dev] navigating gitlab

[Mark Adams]

Thanks, this works.

gitk 7ba7a8179202d83658a309df68e2ebc2037284d4
>
> git show 7ba7a8179202d83658a309df68e2ebc2037284d4
>
> Satish
>