Hi Everyone,
I think our experiment in Git development branches has ended.
Unfortunately, there is a lingering issues for end users. That issue is, a
conceptually simple "delete development branch" does not exist in Git. That
is, I cannot issue a command to delete a branch and then (1) propagate it
to remote and (2) propagate it to users. I can solve (1) with additional
commands, but I cannot solve (2).
If you want to clean up the cruft/artifacts that git refuses to allow me to
cleanup, then issue the following:
cd cryptopp
git checkout master
git fetch -p
for branch in `git branch -vv | grep ": gone]" | awk '{print $1}'`; do
git branch -D $branch; done
If you look at that and shake your head in disbelief at the complexity,
then join the crowd. Git manages to take every simple task and makes it
difficult.
Its so bad for me I have a cron job setup that performs Git maintenance on
six different repos about once every four hour.
Jeff
--
--
You received this message because you are subscribed to the "Crypto++ Users"
Google Group.
To unsubscribe, send an email to [email protected].
More information about Crypto++ and this group is available at
http://www.cryptopp.com.
---
You received this message because you are subscribed to the Google Groups
"Crypto++ Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
