We will be moving to GitHub

[paul.hermeneutic at gmail.com]

Mark, it is good to know that a decision has been made so that we can move
forward.

Is there a summary document that discusses the options examined and why
others did not meet the requirements? I am -NOT- trying to dredge up
arguments about the choice. I am guessing that there have been some.

If this fact-based decision was based solely on the fact that the BDFL
prefers GitHub, please just say so. It is clear that git is a capable tool.