Omit irrelevent github repos from asides.