Remove ndmitchell as a contributor

[ndmitchell]

I'm very happy to contribute as an outside individual who raises PR's, and plan to continue to do so just as much before. However, my experience is that when I have permission to do more (edit master, push to branches etc) my lack of git experience trips me up and I tend to screw everything up. Just removing my contributor status in the Settings tab in github is probably the smart move.

[ndmitchell]

Seems I can still edit master. Which isn't good!

[fendor]

Hehe, only @mpickering can remove you

[ndmitchell]

Is @mpickering still the only person who can do that? If so, perhaps someone else should be granted permissions? (I just want to make a pull request - and through a stroke of luck I didn't actually just commit it to master...)

[fendor]

Yeah, I think so, I have no settings tab in the repository.

[ndmitchell]

Is it worth considering moving this to the haskell project, given the team working on it is very much subsets of the IDE squad?

[jneira]

We are already in the haskell org and @ndmitchell doesnt have any special rol in the project. However we miss you a lot so the door will we always open 😉

[ndmitchell]

I'll never be too far away, and can always raise a PR :)

[jneira]

We are already in the haskell org and @ndmitchell doesnt have any special rol in the project. However we miss you a lot so the door will we always open wink

Well that is not totally true, @ndmitchell is in the haskell ide team: https://github.com/orgs/haskell/teams/haskell-ide
That team has maintainer perms here in turn. Let me know if you want to change something about that

[ndmitchell]

Happy with that as it stands - it's mostly pushing to master which is something I do by accident fairly regularly :)

[jneira]

fortunately master is protected from direct pushes now, it only can be changed via merging an approved pr