I mean, I have searched by proteu filename:Makefile in github and I have obtained different results in the last minutes.
First, Github returned 1 repository: GitHub - jacksonpradolima/proteumIM2.0: Ferramenta Proteum/IM - versão 2.0
Ten minutes later Github returned 2 repositories: GitHub - jacksonpradolima/proteumIM2.0: Ferramenta Proteum/IM - versão 2.0 and GitHub - magsilva/proteum: Tool for mutation testing of C programs (both of them created several years ago)
But the most surprising thing is that I know another repository that meets the search proteu filename:Makefile and it was returned by Github a month ago and now it does not appear in the github results, however the repository exists.
I am trying to mine data as a thesis work, but I cannot understand why Github does not return all the results that meet the search string. Could anyone help me with this? Thanks a lot