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

switch GitHub issues notifications for Maven repositories to issues@maven.apache.org instead of dev@

    Details

    • Type: Task
    • Status: Closed
    • Priority: Major
    • Resolution: Fixed
    • Fix Version/s: None
    • Component/s: Git, GitBox, Github
    • Labels:
      None
    • Project:
      Maven

      Description

      issues@maven.apache.org is used for Jira: it should be used for GitHub issues also

      this covers:
      - Maven svn2git mirrors
      - Maven git-wip repos
      - Maven GitBox repos

      I don't if there is a way for us to see the config, and eventually to fix it ourselves


      While at it, please delete maven-maven-dist-tool repository ( https://github.com/apache/maven-maven-dist-tool ), which is a mistake I did when creating a new GitBox repo
      (notice: deleting such empty repositories as self service could be useful to avoid manual management of such stupid mistakes, if I'm not the only one doing mistakes the first time using GitBox self service, which is really a great service...)

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                gmcdonald Gavin
                Reporter:
                hboutemy Hervé Boutemy
              • Votes:
                0 Vote for this issue
                Watchers:
                1 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: