I pushed these commits to master. How can I close issues? I couldn't figure this out from the Savannah site.