Previously, there was a significant amount of scripting around making and publishing releases. Most of that won't work anymore with the migration to GitHub, and we may not want a process that complex anymore anyway.