No matches were found for subject:"\[sup\-talk\] old gitorious repo is now also marked as obsolete"