News for hackers. Stuff that matters.

A comment on GitHub.Dev is now available on any GitHub repo.

Re:GitHub.Dev is now available on any GitHub repo by PeterSomogyvari on Thursday August 12, 2021 @01:57PM (#28159375)
It is especially useful when reviewing pull requests because it "just works" meaning that if you hit "." while on a PR page, it opens up the branch from the work.

This saves me a lot of time as a maintainer in some cases where otherwise I'd have to add the fork as a remote and then check it out locally.

Hoping that they'll add support for terminals as well at some point though I suspect maybe that'll forever be reserved for Codespaces.

[ Parent | on HN ]
Re:GitHub.Dev is now available on any GitHub repo by jackhalford on Thursday August 12, 2021 @09:21PM (#28164171)
if reviewing PRs coming from forks is common for you, why don't you just write a script that will add the remote and fetch the PR. this fits straight into the "automate what I do often" philosophy, I don't think it's worth giving the power away to the browser.
[ Parent | on HN ]