How to filter emails from GitHub in Gmail and flag them with labels.
The labels in this document are just examples.
| Filter | Label |
|---|
WHATWG-style logos for W3C/WICG specs - just because I like logos and a consistent iconography.
| #!/bin/sh | |
| # Use SourceGear DiffMerge as mergetool for git in cygwin. | |
| # git config --global mergetool.diffmerge.cmd "diffmergetool.sh \"\$LOCAL\" \"\$REMOTE\" \"\$BASE\" \"\$MERGED\"" | |
| # git config --global mergetool.diffmerge.trustExitCode false | |
| # git difftool -t diffmerge branch1..branch2 | |
| # Reference: http://www.tldp.org/LDP/abs/abs-guide.pdf | |
| library=githelperfunctions.sh |