search

idris-hackers / software-foundations

Software Foundations in Idris
https://idris-hackers.github.io/software-foundations
MIT License
452 stars 34 forks source link

Give @clayrat commit rights #23

Closed yurrriq closed 7 years ago

yurrriq commented 7 years ago

@jfdm (or anyone else with sufficient permissions), could you please grant commit rights to @clayrat? At this point he's contributing more than I am, and I think it'd be nice if he and I (at least) could trade off reviews and merging.

It would also be good to set the default branch to develop (and/or grant me access to the repo settings). Related: #15

Cheers!

david-christiansen commented 7 years ago

I just gave @yurrriq admin access and sent a collaborator invite to @clayrat . I'll let @yurrriq do the branch switches :)

yurrriq commented 7 years ago

Thank you!

clayrat commented 7 years ago

Thanks!

yurrriq commented 7 years ago

@clayrat, feel free to open branches on this repo directly, if you like. I've been casually following the git-flow workflow using the AVH edition.