PRs aren't part of the repository (if you define repository to mean part of `git`'s internal working. It's part of GitHub, which is owned by Microsoft.
Small nit, but PR description bodies might wind up as part of a commit message verbatim, depending on repo settings and the merger's personal behavior. It's an easy outcome, the merger doesn't need to copy and paste or anything, and I think it might be a default or popular setting for squash-merges.
Something that should be mentioned is starting a command with a space doesn't add it to your history in most shells, really useful for one-off commands that you don't want cluttering your history.
Also, increase your `$HISTSIZE` to more than you think you would need, there have been cases where it helped me find some obscure command I ran like 3 years before.
Hey. Out of curiosity, why did Iranian diaspora stop celebrating the conflict in the streets over the past week? It would be difficult for the US and Israel to justify starting the war this way, I hope you continue the celebrations.
reply