https://issues.apache.org/jira/browse/INFRA-7913
Jan
> -Ursprüngliche Nachricht-
> Von: Jan Matèrne (jhm) [mailto:apa...@materne.de]
> Gesendet: Dienstag, 17. Juni 2014 08:05
> An: 'Ant Developers List'
> Betreff: [RESULT] [VOTE] GitHub integration
>
> The week is over.
> #1 and #3 passe
The week is over.
#1 and #3 passed, so I'll create the INFRA-ticket.
Jan
> 1. Any Pull Request that gets opened, closed, reopened or commented on
> now gets recorded on the project's mailing list
+1:
Jan
Stefan
Antoine
> 2. If a project has a JIRA instance, any PRs or comments on PR
Repos are renamed now:
easyant-* --> ant-easyant-*
I changed the url in my .git/config files and all works fine.
I updated the Jenkins job to reflect the new url.
After changing the repo name I also could push changes to ant-easyant-core, so
I think
write access to the other repos should work a