> Hope, it will be better soon! > To be sure, the configuration works, I did create a pull request with the > setting: https://github.com/Jermolene/TiddlyWiki5/pull/351 > The request wasn't merged, but the "pull jermolene, push origin" mechanism > works. ... You should have a look at the videos, to adjust the git remote > settings in the right way. first and second video should be ok ;) .... > which reminds me to create a written version too :) >
Right, but I believe that I fixed #351 through another approach - is it still causing problems? > I think we should not establish a "workaround". We may not be able to > "kill" it anymore. > Do you mean we shouldn't establish a workaround for plugin publishing? I'm inclined to agree. > I'd love to have a solution instead. > A solution to what? Best wishes Jeremy -- Jeremy Ruston mailto:jeremy.rus...@gmail.com -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to tiddlywiki+unsubscr...@googlegroups.com. To post to this group, send email to tiddlywiki@googlegroups.com. Visit this group at http://groups.google.com/group/tiddlywiki. For more options, visit https://groups.google.com/groups/opt_out.