In github.com when i scroll down through a PR (or Issue) a compressed header is sticky at the top of the window. I would love something similar to this in the GHPRI extension because the header has key commands like checkout, refresh, etc.

Standard PR header in github.com

Compressed, sticky header as I scroll down

Header in vscode

As I scroll down, the header is lost...