I guess all I needed was git checkout <hash>, or something like that. But I have a different question: Which branch am I supposed to work on if I want to create a pull request? master, devel or something else?