1 2016-09-21 11:12:58 <TZander> luke-jr: so, do I rename the bip file before i send a merge request?  If so, what is the bip number?
2 2016-09-21 19:16:15 <luke-jr> TZander: typically the PR is opened with a bip-asciiname file, and it gets renamed when assigned