@Theile commented on GitHub:
I think we should move the discussion to PR #1584.
I understand that renaming a label might not be an optimum situation, but I think we should have the nem…
@Maarten-Wijnants commented on GitHub:
This pull request implements that functionality: https://github.com/Installomator/Installomator/pull/899
@Theile commented on GitHub:
We can already send updateTool="" when calling Installomator and the it will be ignored. So closing this issue.
@uurazzle commented on GitHub:
Hi @kryptonit1 ,
I appreciate your feedback. However, in my humble opinion, if addressing GitHub comments is a priority or if you have the capacity to respond to…
@kryptonit1 commented on GitHub:
The reason to why the GitHub repo is being used is mentioned in #1188. I would also prefer if the official source was used, but just as the original label…
@uurazzle commented on GitHub:
Hi @kryptonit1,
Ok, but from the developer, Max Horn, the GitHub repository is an unofficial mirror and is manually updated by the developer on occasion. So,…
@kryptonit1 commented on GitHub:
Hi @kryptonit1,
Ok, but from the developer, Max Horn, the GitHub repository is an unofficial mirror and is manually updated by the developer on occasion.…
@kryptonit1 commented on GitHub:
Hi @kryptonit1 ,
I appreciate your feedback. However, in my humble opinion, if addressing GitHub comments is a priority or if you have the capacity to…
@uurazzle commented on GitHub:
Hi @kryptonit1,
Again, thanks for the feedback. But, it seems like we are talking in circles.
I have my custom label set up for TexShop, and it meets the…
@timnottom commented on GitHub:
See PR: https://github.com/Installomator/Installomator/pull/1498
@acodega commented on GitHub:
This slipped by somehow. Sorry about that. For the sake of documentation if anyone else comes across it, any variables you pass along with the label will be used…