• Dumhuvud
    link
    fedilink
    English
    arrow-up
    19
    ·
    1 day ago

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