(does anyone use github suggestions for repo names?)