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

Delete build products from plugin repos

    XMLWordPrintable

    Details

    • Type: Task
    • Status: Open (View Workflow)
    • Priority: Minor
    • Resolution: Unresolved
    • Component/s: github
    • Labels:
      None
    • Similar Issues:

      Description

      It seems that a lot of plugin developers out of ignorance committed target/ and/or work/ directories to GitHub. This is not just their problem: it pollutes GitHub full-text search considerably.

      We could identify these in batch and file PRs to delete the bogus directories and correct .gitignore. For abandoned plugins, merge the PR after a grace period.

        Attachments

          Activity

          There are no comments yet on this issue.

            People

            Assignee:
            Unassigned Unassigned
            Reporter:
            jglick Jesse Glick
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Dates

              Created:
              Updated: