Title Lama-Synergy: get rid of the synergy object
Priority feature Status resolved
Superseder Nosy List cedric, jendrik, malte, silvan
Assigned To cedric Keywords
Optional summary

Created on 2018-01-11.14:56:28 by cedric, last changed by cedric.

msg6861 (view) Author: cedric Date: 2018-03-15.13:47:17
The merge is done.

I also checked the wiki documentation and removed all traces of the old synergy.

It doesn't. Only the link to the page is removed. The page was deleted manually.
msg6831 (view) Author: malte Date: 2018-03-14.16:21:52
Looks good to merge!

I had a look at the wiki documentation, and I think once the "Synergy" page is
gone, traces of the synergy in the documentation will be gone. The OptionSyntax
page doesn't discuss it, so that's fine.

I'm not sure if removed "luginTypePlugins automatically lead to their wiki page
being deleted. My guess is that they don't, in which case we should delete it
manually after the buildbot has updated the documentation.
msg6830 (view) Author: cedric Date: 2018-03-14.16:09:15
I addressed all of the comments.

@Malte: Could you also have a look into the code so I can merge it? I would like
to skip the FIFO-queue since there are some issues waiting for this to be merged.
msg6829 (view) Author: jendrik Date: 2018-03-14.15:24:56
I left some minor comments on Bitbucket.
msg6828 (view) Author: cedric Date: 2018-03-14.15:03:38
I removed the old synergy object. Could someone take a look at the pull request?
msg6803 (view) Author: silvan Date: 2018-02-13.15:43:01
issue717 is merged, so this one is ready to be tackled.
msg6773 (view) Author: cedric Date: 2018-01-11.14:57:54
Wait for issue717 to be merged. If this is done we can remove the old
implementation of the Lama-Synergy
Date User Action Args
2018-03-15 13:47:30cedricsetstatus: chatting -> resolved
2018-03-15 13:47:17cedricsetmessages: + msg6861
2018-03-14 16:21:52maltesetmessages: + msg6831
2018-03-14 16:10:29cedricsetsummary: TODO: After this issue is merged, we can remove "Heuristic::default_options()". ->
2018-03-14 16:09:15cedricsetmessages: + msg6830
2018-03-14 15:24:56jendriksetmessages: + msg6829
2018-03-14 15:03:38cedricsetmessages: + msg6828
2018-02-13 15:43:02silvansetnosy: + jendrik, silvan
messages: + msg6803
2018-01-12 16:00:56cedricsetsummary: TODO: After this issue is merged, we can remove "Heuristic::default_options()".
2018-01-11 18:37:13maltesetnosy: + malte
2018-01-11 14:57:54cedricsetstatus: unread -> chatting
messages: + msg6773
2018-01-11 14:56:28cedriccreate