|
||||||||
|
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira |
||||||||
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Ioannis Moutsatsos I have never seen the menu whose screenshot you attached. What plugin provides that menu?
What is the functionality it is providing?
Is there a reason you're using a form of deletion which leaves files in the directory, but removes the .git repository?