Uploaded image for project: 'Infrastructure'
  1. Infrastructure
  2. INFRA-12828

git branch deletion not mirrored

Attach filesAttach ScreenshotVotersWatch issueWatchersCreate sub-taskLinkCloneUpdate Comment AuthorReplace String in CommentUpdate Comment VisibilityDelete Comments
    XMLWordPrintableJSON

Details

    • Bug
    • Status: Closed
    • Major
    • Resolution: Fixed
    • Oct 2016
    • GitHub
    • None

    Description

      Deleted the branch {{pr/388}} created by mistake in repo {{https://git-wip-us.apache.org/repos/asf/brooklyn-server}}. The branch is not deleted from the github mirror "https://github.com/apache/brooklyn-server/tree/pr/388". Can you delete or advice how to proceed.

      Attachments

        Activity

          This comment will be Viewable by All Users Viewable by All Users

          People

            Unassigned Unassigned
            svet Svetoslav Neykov
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved:

              Slack

                Issue deployment