• BehindTheBarrier@programming.dev
    link
    fedilink
    English
    arrow-up
    1
    ·
    1 month 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
      ·
      1 month 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
        link
        fedilink
        arrow-up
        0
        ·
        1 month 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
      ·
      1 month ago

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

        • Azzu@lemm.ee
          link
          fedilink
          arrow-up
          1
          ·
          edit-2
          1 month 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.