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
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions