Sync instead of commit about icerepo

[mattpass]

@Ultrabenosaurus Cool - a request, and it's only been on Github a day! :D

Yep, initial plan is to make Github tie in with the server by commiting changes, adding & deleting files in the repo.

However, no reason why it can't be made to work the other way tho', to cover both perspectives.

Added as a feature to cover.

[mattpass]

@Ultrabenosaurus OK, have added the functionality now so you can:
push (add, edit & delete) to Github and
pull (add, edit) from Github.

(You can pull either individual files with a single click or checkbox select files and pull a batch).

Next up I'll look at pulling empty folders and deleting files if they don't exist on Github. But, the first stage of pulling new & edited files works fine.

[Ultrabenosaurus]

Oh wow, nice going! I'll give it a try this week :)

[mattpass]

I believe this change is covered now so considering done & closed.