Skip to content

Instantly share code, notes, and snippets.

View younes200's full-sized avatar
🎯
Focusing

Younes younes200

🎯
Focusing
  • Toulouse
View GitHub Profile
@okunishinishi
okunishinishi / Remove all git tags
Created March 8, 2014 03:12
Delete all git remote tags
#Delete local tags.
git tag -l | xargs git tag -d
#Fetch remote tags.
git fetch
#Delete remote tags.
git tag -l | xargs -n 1 git push --delete origin
#Delete local tasg.
git tag -l | xargs git tag -d
@abecciu
abecciu / Dynamic addition of candidate nodes in gen_leader
Created July 30, 2010 03:17
Dynamic addition of candidate nodes in gen_leader
Algorithm
----------
Let's say we have a cluster of nodes A < B < C where A is the leader, and B and C are
candidates. We want to add a new candidate D to the cluster, and we select node B as
the seed node.
When node D is started, the following happens:
(1) D sends a 'join' msg to B, and D starts monitoring B
(2) B replies with a 'hasLeader, A' message