[JIRA] (JENKINS-19994) Unable to delete windows workspace due to busy git pack file
Title: Message Title Mark Waite closed an issue as Fixed Jenkins / JENKINS-19994 Unable to delete windows workspace due to busy git pack file Change By: Mark Waite Status: Resolved Closed Add Comment This message was sent by Atlassian Jira (v7.13.6#713006-sha1:cc4451f) -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-issues/JIRA.151515.1381473587000.14418.1571794272202%40Atlassian.JIRA.
[JIRA] (JENKINS-19994) Unable to delete windows workspace due to busy git pack file
Title: Message Title Mark Waite resolved as Fixed Jenkins / JENKINS-19994 Unable to delete windows workspace due to busy git pack file Change By: Mark Waite Status: Reopened Resolved Resolution: Fixed Add Comment This message was sent by Atlassian JIRA (v7.3.0#73011-sha1:3c73d0e) -- 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.
[JIRA] (JENKINS-19994) Unable to delete windows workspace due to busy git pack file
Title: Message Title Mark Waite updated an issue Jenkins / JENKINS-19994 Unable to delete windows workspace due to busy git pack file Change By: Mark Waite Summary: Unable to delete windows workspace due to busy git pack file Add Comment This message was sent by Atlassian JIRA (v7.1.7#71011-sha1:2526d7c) -- 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.