Skip to content

Instantly share code, notes, and snippets.

View faroutchris's full-sized avatar

Christo faroutchris

View GitHub Profile
@faroutchris
faroutchris / remove_git_tag
Created November 21, 2017 16:25 — forked from dearaujoj/remove_git_tag
git remove tag locally and remote
git tag -d TagName && git push origin :refs/tags/TagName
@faroutchris
faroutchris / bump_version
Created August 17, 2017 09:35 — forked from ericclemmons/bump_version
Bash script to merge, tag, & push the "develop" branch
#!/usr/bin/env bash
echo "Checking out master branch"
git checkout master
git pull origin master
git log master..develop
read -p "Review your changes..."
echo "Merging develop branch"
*, *:before, *:after {
-moz-box-sizing: border-box;
-webkit-box-sizing: border-box;
box-sizing: border-box;
}
.cf:before,
.cf:after {
content: " "; /* 1 */
display: table; /* 2 */
}