feat: use git repo instead of arbitrary directories and busybox diff #9
Loading…
Reference in a new issue
No description provided.
Delete branch "wow-git-repo"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
fixes #6 (we do apply the patch manually? ptrc what do you mean)
fixes #8 (we're no longer generating .orig files)
@psykose pls test
@ -38,0 +47,4 @@
done
}
export CUSTOM_PROMPT_TAG="apatch"
wat
92d8facfbe
to42e63a4a56
@ -39,0 +42,4 @@
git status --porcelain | grep '\?\? .*\.rej$' | cut -c4- | while read -r reject; do
target="${reject%.rej}"
wiggle --merge --replace "$target" "$reject" || {
echo "[!] could not merge $target, fix manually"
spaces are evil, use tabs
yes i love you too darling