#devtools Кстати, если кто-то не знал, то у GitHub есть CLI, а у этого CLI есть настраиваемое расширение gh-dash для отображения панели pull requests и issues 👍.