All issues

Search results

push should likely push to latest HEAD, not the commit recorded in rust-version

Status: Open.

#46 In rust-lang/josh-sync;

· RalfJung opened on Apr 20, 2026

Incorrect issue references due to GitHub default merge messages

Status: Open.

#44 In rust-lang/josh-sync;

· reddevilmidzy opened on Apr 9, 2026

Upgrading Josh

Status: Open.

#42 In rust-lang/josh-sync;

· christian-schilling opened on Apr 6, 2026

Check that the current HEAD is reasonable when doing a push

Status: Open.

#36 In rust-lang/josh-sync;

· tgross35 opened on Mar 14, 2026

use a better name for rust-lang/rust checkout directory

Status: Open.

#13 In rust-lang/josh-sync;

· tshepang opened on Jul 21, 2025