Jonas Bernoulli

I'm sorry this has continuously been falling through the cracks. I'll try to have another look soon.

I've merged something. The more I looked at the clearer it became that an existing branch should just be checked out and that offering the option to reset would lead...

Friendly ping!

The author has this on his profile: > Recently (2018-03-19), I don't have enough time to maintain the Github repository. Sorry for the no reaction to each issues. Maybe this...

I see. No, there are no serious issues as far as I know.

Every few months I run the spell checker on all the packages I have installed and fix the new typos. In this case I ended up fixing the same typos...

From the looks of it, this would be a good candidate, but we'll have to talk to Andreas about it first. (Among other things we would like him to transfer...

I'm now willing to do my part. I would still prefer if @politza transferred the repository. @thisch have you tried contacting him by mail?

Sounds like waiting for him to transfer or otherwise respond wouldn't do much good. @thisch so if I understand this correctly, you are volunteering to maintain this under the umbrella...

Thanks! Invite is on its way.