Re: [boost] shutdown ticket-system on svn.boost.org

why not close boost trac for new bug entries while keeping the history and give the users the hint to enter the bug report in github instead