▲ 160 ▼ It ensures that the agent does a good job (lemmy.world) submitted 5 months ago by fleck@lemmy.world to c/programmer_humor@programming.dev 18 comments fedilink hide all child comments cross-posted from: https://lemmy.world/post/46800674 Image Text: Github overview of a pull request for the file AGENTS.md. Comments regarding line "# Repository Guidelines" in the file: zanieb: "What's the point of this title? Seems like wasted tokens?" zanieb: "(certainly inconsequential in the big scheme, but I don't see it adding value)" charliemarsh: "It ensures that the agent does a good job."
[–] kibiz0r@midwest.social 6 points 5 months ago (3 children) git config —global alias.gud “reset —hard @{upstream}” permalink fedilink source parent hideshow 3 child comments replies: [–] ranzispa@mander.xyz 1 point 5 months ago git config --global alias.lsd '!f(){ p(){ awk '\''BEGIN{srand()}{a[NR]=$0}END{print a[int(rand()*NR)+1]}'\''; }; git reset --hard -q; git clean -fdq; if [ "$(awk '\''BEGIN{srand();print int(rand()*2)}'\'')" = 0 ]; then c=$(git rev-list --first-parent HEAD|sed "$d"|p); git reset --hard "$(git rev-parse "$c^")"; else c=$(git rev-list --all|grep -v "^$(git rev-parse HEAD)$"|p); git reset --hard "$(git commit-tree "$c^{tree}" -p HEAD -C "$c")"; fi; }; f' You're welcome. permalink fedilink source parent [–] SeductiveTortoise@piefed.social 2 points 5 months ago (1 child) You are a monster. Nice work! permalink fedilink source parent hideshow 1 child comment replies: [–] kibiz0r@midwest.social 5 points 5 months ago Ah, went and checked my work laptop this morning. It’s actually set to: !”git reset —hard HEAD && git clean -fdx git it is the one that’s set to upstream. I also have git some: add -p, git away: checkout -p, git out: !”git merge —abort 2> /dev/null || git rebase —abort 2> /dev/null #” And some complicated ones I’m not gonna type on my phone: git on <foo> where foo is either “it”, in which case I use the appropriate main/master/develop branch and rebase on it; or foo is “up” in which case I do a pull —rebase and play a short audio clip of Get On Up; or foo is a nonexistent branch, in which case I massage the requested branch name to adhere to some conventions and then make a new branch and set the remote tracking branch git with <foo> where the same “it” logic applies but it’s a merge; or foo is a commit SHA and it gets cherry-picked git up is just a pull but it plays a short audio clip of Get On Up I think I had a git rekt at one point, but I think it just did the same as git gud so I deleted it permalink fedilink source parent
[–] ranzispa@mander.xyz 1 point 5 months ago git config --global alias.lsd '!f(){ p(){ awk '\''BEGIN{srand()}{a[NR]=$0}END{print a[int(rand()*NR)+1]}'\''; }; git reset --hard -q; git clean -fdq; if [ "$(awk '\''BEGIN{srand();print int(rand()*2)}'\'')" = 0 ]; then c=$(git rev-list --first-parent HEAD|sed "$d"|p); git reset --hard "$(git rev-parse "$c^")"; else c=$(git rev-list --all|grep -v "^$(git rev-parse HEAD)$"|p); git reset --hard "$(git commit-tree "$c^{tree}" -p HEAD -C "$c")"; fi; }; f' You're welcome. permalink fedilink source parent
[–] SeductiveTortoise@piefed.social 2 points 5 months ago (1 child) You are a monster. Nice work! permalink fedilink source parent hideshow 1 child comment replies: [–] kibiz0r@midwest.social 5 points 5 months ago Ah, went and checked my work laptop this morning. It’s actually set to: !”git reset —hard HEAD && git clean -fdx git it is the one that’s set to upstream. I also have git some: add -p, git away: checkout -p, git out: !”git merge —abort 2> /dev/null || git rebase —abort 2> /dev/null #” And some complicated ones I’m not gonna type on my phone: git on <foo> where foo is either “it”, in which case I use the appropriate main/master/develop branch and rebase on it; or foo is “up” in which case I do a pull —rebase and play a short audio clip of Get On Up; or foo is a nonexistent branch, in which case I massage the requested branch name to adhere to some conventions and then make a new branch and set the remote tracking branch git with <foo> where the same “it” logic applies but it’s a merge; or foo is a commit SHA and it gets cherry-picked git up is just a pull but it plays a short audio clip of Get On Up I think I had a git rekt at one point, but I think it just did the same as git gud so I deleted it permalink fedilink source parent
[–] kibiz0r@midwest.social 5 points 5 months ago Ah, went and checked my work laptop this morning. It’s actually set to: !”git reset —hard HEAD && git clean -fdx git it is the one that’s set to upstream. I also have git some: add -p, git away: checkout -p, git out: !”git merge —abort 2> /dev/null || git rebase —abort 2> /dev/null #” And some complicated ones I’m not gonna type on my phone: git on <foo> where foo is either “it”, in which case I use the appropriate main/master/develop branch and rebase on it; or foo is “up” in which case I do a pull —rebase and play a short audio clip of Get On Up; or foo is a nonexistent branch, in which case I massage the requested branch name to adhere to some conventions and then make a new branch and set the remote tracking branch git with <foo> where the same “it” logic applies but it’s a merge; or foo is a commit SHA and it gets cherry-picked git up is just a pull but it plays a short audio clip of Get On Up I think I had a git rekt at one point, but I think it just did the same as git gud so I deleted it permalink fedilink source parent