← Feed @Dumhuvud@programming.dev Post #1704218 2026-04-26 20:53 UTC Yeah, that’s what I’m thinking too. Making a commit and pushing to a remote repository are two different, completely unrelated, things. Replies (0) No replies.