ignore source local option#222

philaris wants to merge 1 commit intokeybase:masterkeybase/keybase-bot:masterfrom

philaris:ignore-source-localphilaris/keybase-bot:ignore-source-localCopy head branch name to clipboard