• Dumhuvud@programming.dev
    link
    fedilink
    English
    arrow-up
    8
    ·
    11 hours ago

    Yeah, that’s what I’m thinking too. Making a commit and pushing to a remote repository are two different, completely unrelated, things.