A GitHub release tool