• BehindTheBarrier@programming.dev
    link
    fedilink
    English
    arrow-up
    1
    ·
    7 months ago

    I never considered branch names to be a vector, but in hindsight it makes total sense when put into a workflow like that. What possibly surprised me even more, was that branch names weren’t limited to basic characters or at least no special signs. I obviously see the case for all the extended characters outside the latin alphabet, such as Chinese characters, but I totally expected restrictions on special symbols like ", ', /, \, ;, etc.

    • Traister101@lemmy.today
      link
      fedilink
      arrow-up
      0
      ·
      7 months ago

      / is used to separate the same branch in different repos. For example origin/main and remote/main. Surprising that the other stuff is legal though

      • bamboo@lemm.ee
        cake
        link
        fedilink
        arrow-up
        0
        ·
        7 months ago

        You can still freely use / in branch names. Having remote branches available as remote/branch is just a convenience, and you can delete or modify them locally. It’s common to use / in branch names, too.

    • Azzu@lemm.ee
      link
      fedilink
      arrow-up
      1
      ·
      7 months ago

      Pull requests are not a feature of git, you probably thought they were?

      • Zykino@programming.dev
        link
        fedilink
        arrow-up
        0
        ·
        7 months ago

        Yup, pull requests are an invention from git’s servers (I think github came up with that first). The built in way (famously used by the linux kernel) is git-send-email.

        • Azzu@lemm.ee
          link
          fedilink
          arrow-up
          1
          ·
          edit-2
          7 months ago

          GitHub is completely unrelated to git.

          git-send-email is not even very similar to a pull request, just tangentially related but very different conceptually.