Comment by behnamoh

Comment by behnamoh 10 months ago

21 replies

Git is one of those technologies that I never got to wrap my head around of, because in so many ways it doesn't follow intuition and unless you have been using it for a long time, for literally every action you would probably have to Google or use the man page of the command.

dmd 10 months ago

As everyone knows, though, Git gets easier once you understand branches are homeomorphic endofunctors mapping submanifolds of a Hilbert space.

  • jimbokun 10 months ago

    > homeomorphic endofunctors mapping submanifolds of a Hilbert space

    Has to be easier to understand that then all the arbitrary git commands.

    • sampo 10 months ago

      Git commands, while they may be cryptic, actually mean something. Whereas that was just gibberish made by putting random mathematical words together.

      (There is a similar sounding joke about category theory, "A monad is just a monoid in the category of endofunctors" but this sentence has a mathematical meaning.)

  • riwsky 10 months ago

    Unless you’re in a detached HEAD, in which case it’s xylomorphic to the left-aligned Galois group of R^3.

  • wbl 10 months ago

    That's the Darcs joke and you told it somewhat incorrectly.

  • behnamoh 10 months ago

    Oh geez now that clarifies everything, how could I miss that?

stephen_g 10 months ago

Did you start with Git or have you used other VCS systems before? I started with SVN and then coming to Git, there were obviously things to learn about how it was different but honestly it felt to me like it made things easier in many ways (since I'd experienced the horror of a very large codebase in SVN with lots of branches, and trying to track those and merge back together - git is so much better at that, it's crazy)...

I can see how it would be a much bigger learning curve if people come straight to git, but it's still hard for me to understand where the blocker is that so many people complain about using it...

nomel 10 months ago

I was trying to delete a file from history yesterday.

The built in way (filter-branch) pops up a warning, with a long delay, saying you should hit Control+C and go download a third party python script called filter-repo...

  • PaulDavisThe1st 10 months ago

    Possibly consider that "deleting a file from history" is rather far outside the norm or recommended practice for git (even though it is, of course, entirely possible)

    • nomel 10 months ago

      > even though it is, of course, entirely possible

      I take the more realistic perspective: until git makes it impossible to commit something that shouldn't have been, like a secret, then deleting a file from history is a fundamental requirement of git.

      • lcnPylGDnU4H9OF 10 months ago

        Even if you purge the history, the secret is compromised and you should stop using it. It's moot whether or not you're able to remove it from history.

        • nomel 10 months ago

          That's, for secrets. Secrets aren't the only thing one might want to remove retroactively.

      • tom_ 10 months ago

        The designers of git clearly disagreed, as you can guess from its design, so it's not surprising it might feel like a bit of an uphill struggle (and will probably remain so). There are other tools available.

bitwize 10 months ago

It's ok mate. Hackernews says we should be using jj to manage our rewritten-in-Rust code.

  • iimblack 10 months ago

    Since you brought it up, I personally switched to jujutsu and prefer it greatly. I regularly help coworkers deal with issues in git and keep dropping hints like `in jujutsu this would've been done way easier like this!`. Nobody bites yet since I think most of them don't want to use the CLI but maybe someday if enough people keep talking about it the inertia will get to the point that we can get some really slick GUIs for jj.

  • behnamoh 10 months ago

    Haha, I'm so glad I didn't fall for the whole rust thing.

    • stouset 10 months ago

      Both you and GP, please aim higher for comments on HN.

      • [removed] 10 months ago
        [deleted]