Dave's Release Notes Use Github's release mechanism to create a new release. Do not do it from the command line. Use the web interface. Dave is dumb. Do not be Dave.