deletion of local time records should delete time spent on gitlab too

[kriskbx]

I thought it was properly managed when I read that part,

Did you forgot to stop time monitoring locally and accidentally synced it to GitLab? No worries, just edit the local record and run sync again.

https://github.com/kriskbx/gitlab-time-tracker/blob/master/documentation.md#ii-time-tracking

[kriskbx]

When you edit a time record and run the sync command again the time spent on GitLab will be updated accordingly as the docs state. There's noting wrong with "that part" in the docs.

Only when you delete a time record using the delete command you just delete the local entry and not the entries on GitLab.

Logically speaking, in my mind as a user of gtt, deleting a time record is no different than merely editing it. I expected the sync method would handle the time records as a whole.

See CRUD

I must concede that the documentation is not wrong. It specifically states "edit" not "delete". I agree.

I'm sorry. I don't want to nitpick. I realize my expectations were a bit off.