Hey @ljsr the PR has stalled. Do you need some help with it?
Hi @glennj. YES, a lot! I am go on lost
This has been really nice collaboration. A bit confusing with dialog happening here and on github at the same time, but we all worked it out eventually.
Kudos to @ljsr for persevering and getting some git experience.
Thanks @glennj. The support of all you are invaluable. The precise observations of @IsaacG, the complete course of @kotp about git that gave me the tools for my incursion in the git world and finally your patience with this learner made possible to end this collaboration succesfully.
Again Thanks a lot!