GitHub's Online Schema Change for MySQL - View it on GitHub