+[2019-10-24T16:49:59Z]queskertwo people create and use repos in a group. they both forget to add the other's access all the time. is there a way to set it up so any repo created in this group by either person has access by both? this is enterprise +[2019-10-24T16:50:08Z]queskerI don't know if group is the right word, not sure what to call it +[2019-10-24T16:51:12Z]queskergithub02/foo/repo1 github02/foo/repo2 foo is what I am calling a group +[2019-10-24T16:51:38Z]queskerother people also create repos under foo and they don't need access to those +[2019-10-24T16:52:20Z]queskermaybe that is a project
is it possible to search PRs based on if they passed/failed TravisCI?
+[2019-10-25T07:39:29Z]neurehi +[2019-10-25T07:39:54Z]neure`git branch -r` shows old branches, is there way to not show them? +[2019-10-25T07:40:19Z]R2robotdelete them? +[2019-10-25T07:45:51Z]neurethey have been deleted +[2019-10-25T07:46:00Z]neurethey dont show up in github web ui