• Ocelot@lemmies.world
    link
    fedilink
    arrow-up
    10
    arrow-down
    1
    ·
    edit-2
    1 year ago

    fuck it. rm -rf repository; git clone repository

    Been using git since almost as long as its been around, still can’t be bothered to learn to how to fix conflicts.

    • marcos@lemmy.world
      link
      fedilink
      arrow-up
      3
      ·
      1 year ago

      Rename it, so you can run diff on those surprising things that in no way could have changed, but are not equal to the repository. And then delete.

      Or keep the X-old; X-backup; X-bkp; X-old-old; X-old3 dirs.

  • girltwink@lemmy.world
    link
    fedilink
    English
    arrow-up
    1
    ·
    1 year ago

    alias mybad=‘git add -u && git commit --amend --no-edit && git push --force-with-lease’

          • BlueBockser@programming.dev
            link
            fedilink
            arrow-up
            0
            arrow-down
            1
            ·
            1 year ago

            Of course you don’t have to, but if you don’t plan on ever using it then it’s just trash living in your git folder. If you do plan on using it again in the future, then it’s usually better to make it a branch so you can push it to a remote.