4 commits

Author	SHA1	Message	Date
Clément Renault	0615c5c52d	Consume updates in the order of insertion	2019-10-07 15:00:28 +02:00
Clément Renault	5139dc7f3e	Let the caller commit/abort the operation	2019-10-07 10:52:45 +02:00
Clément Renault	df2ef8d2e1	Introduce update_task, popping an update and pushing the result of it	2019-10-04 17:49:13 +02:00
Clément Renault	62a0aefe44	Make the project be a workspace	2019-10-04 10:26:32 +02:00