• Cruxil 🇦🇺@aussie.zone
    link
    fedilink
    English
    arrow-up
    2
    ·
    10 months ago

    git push origin HEAD is a slightly shorter way of doing the same thing, even though you have an alias anyway lol