rust-lang / rust-lang/josh-sync
Check that the current HEAD is reasonable when doing a push
Nobody has claimed this yet.
- Dominant language
- Rust
- Stars
- 31
- Forks
- 15
- Avg merge
- 4d 16h
- Merged PRs (30d)
- 6
Description
I accidentally started a push from a main that wasn't the upstream main, and just barely realized because I clicked the link in the PR description and got the "This commit does not belong to any branch on this repository" warning. Maybe we could check that the current local commit exists on the remote's default branch, and error if not?
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
The issue names no files or tests. Start by tracing the push operation and how the remote's default branch is determined, then reproduce the case where local HEAD is not on that branch. Done means the push reports an error for that situation and proceeds normally when the commit exists on the remote default branch.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- git, rust
- Domain
- devtools
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100