[DynareDev] Dealing with GitHub issues