[ci skip] Update a Trac reference to Github