Great !
Anyway, silly me uploaded erroneous code.
But even if not, it will be necessary to modify existing content once and again. I found this extremely hard - or even impossible - using the GitHub web GUI. There seem to be completely different ways to find (or not to find
) and edit files regarding if they already are "committed" (by you) or if they are still "pending".
It would be great if the new tool would allow for editing files be they in whatever stage.
-Michael