Check if TimelineItem should be synced or ignored
Return
true if and only if there are unsynced changes that should be synced to GitHub
Parameters
the last block of similar items that should be checked for syncing
Sorted part of the timeline containing only TimelineItems interacting with finalBlock
if the timeline item converges the state of the issue towards the state of an empty issue
mapping for timeline items that are geerated with generated ids and do not exist in the database
Type Parameters
Item type with the same semantic as the item to add
Item type invalidating the AddingItem
Check if TimelineItem should be synced or ignored
Return
true if and only if there are unsynced changes that should be synced to GitHub
Parameters
IMS project to sync
filter for items with the same semantic as the item to add
filter for items invalidating the items matching isAddingItem
the last block of similar items that should be checked for syncing
Sorted part of the timeline containing only TimelineItems interacting with finalBlock
if the timeline item converges the state of the issue towards the state of an empty issue
mapping for timeline items that are geerated with generated ids and do not exist in the database