Skip to content

Fails to push main branch after following instruction in quick setup guide #722

@VorpalBlade

Description

@VorpalBlade

I followed the steps in the quick setup guide at https://github.com/crev-dev/cargo-crev/blob/main/cargo-crev/src/doc/getting_started.md

When I run cargo crev publish I get this error:

$ cargo crev publish
From github.com:VorpalBlade/crev-proofs
 * branch            HEAD       -> FETCH_HEAD
Current branch main is up to date.
fatal: The current branch main has no upstream branch.
To push the current branch and set the remote as upstream, use

    git push --set-upstream origin main

To have this happen automatically for branches without a tracking
upstream, see 'push.autoSetupRemote' in 'git help config'.

Adding RUST_BACKTRACE=1 makes no change to the output, so I don't get any backtrace.

Maybe it is related to my git config. This is the recommended standard these days after all:

# ...
[init]
	defaultBranch = main
# ...
  • Please let us know:
    • Which version are you using (eg. cargo crev --version): cargo-crev 0.25.6
    • How did you install crev (git?, cargo?, your distribution?): cargo install, built with rust 1.76.0 installed via rustup.
    • What OS/platform are you running on: Arch Linux (rolling release, x86-64).

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions