Benedikt Ritter wrote:
> 2015-04-29 16:13 GMT+02:00 Bernd Eckenfels :
>
>> Hello,
>>
>> I added the following text to the Wiki page:
>>
>> = GitHub Integration =
>>
>> GitHub is a popular commercial Git hosting service. The ASF GIT
>> repositories are mirrored there to increase visibility and to
Am Thu, 30 Apr 2015 09:18:43 +1000
schrieb Peter Ansell :
> I looked through all of the commit messages just now again and I can't
> see "closes #1" on them, but the pull request was quite promptly
> closed automatically by GitHub when I pushed the merge commit to
> git-wip-us.
I think it detects
Bernd Eckenfels wrote:
[snip]
> Maybe someone more knowledgable could add something about batches and
> CI hooks (and does somebody remeber the URL to the info which describes
> how to get added to the ASF commiter team, it was in the developer
> documentation somewhere but I cant find it).
Than
On 29 April 2015 at 23:51, Mark Thomas wrote:
> On 29/04/2015 14:18, Benedikt Ritter wrote:
>> 2015-04-29 15:00 GMT+02:00 Peter Ansell :
>>
>>> Hi,
>>>
>>> All pull requests are manually merged by a committer and then pushed
>>> to git-wip-us. The git-wip-us repository is then automatically
>>> mi
2015-04-29 16:13 GMT+02:00 Bernd Eckenfels :
> Hello,
>
> I added the following text to the Wiki page:
>
> = GitHub Integration =
>
> GitHub is a popular commercial Git hosting service. The ASF GIT
> repositories are mirrored there to increase visibility and to encourage
> more collaborators. The
Hello,
I added the following text to the Wiki page:
= GitHub Integration =
GitHub is a popular commercial Git hosting service. The ASF GIT
repositories are mirrored there to increase visibility and to encourage
more collaborators. The Infra team is responsible for maintaining the
[[https://githu
On 29/04/2015 14:18, Benedikt Ritter wrote:
> 2015-04-29 15:00 GMT+02:00 Peter Ansell :
>
>> Hi,
>>
>> All pull requests are manually merged by a committer and then pushed
>> to git-wip-us. The git-wip-us repository is then automatically
>> mirrored back to GitHub. GitHub will then automatically c
On Wed, Apr 29, 2015 at 9:18 AM Benedikt Ritter wrote:
>
>
> I haven't found out how to get this right. Do we have documentation at the
> ASF hwo to do this right? I've only managed to mark PRs as closed when
> merging them back by adding "This closes #61" to the merge commit message.
> Is it poss
2015-04-29 15:00 GMT+02:00 Peter Ansell :
> Hi,
>
> All pull requests are manually merged by a committer and then pushed
> to git-wip-us. The git-wip-us repository is then automatically
> mirrored back to GitHub. GitHub will then automatically close the Pull
> Request when they see that there is a
Hi,
All pull requests are manually merged by a committer and then pushed
to git-wip-us. The git-wip-us repository is then automatically
mirrored back to GitHub. GitHub will then automatically close the Pull
Request when they see that there is a merge commit that combines the
commits from the Pull
The mirror is read-only, so you will apply the pull requests to the main
repository
On Wed, Apr 29, 2015 at 7:27 AM Jörg Schaible wrote:
> Hi mates,
>
> OK, lang is now using Git. I've cloned the repo from
> git-wip-us.apache.org, setup local user name and mail address, committed a
> minimal chan
Hi mates,
OK, lang is now using Git. I've cloned the repo from
git-wip-us.apache.org, setup local user name and mail address, committed a
minimal change to .gitignore and pushed. Fine. At least for a Git n00b.
I am curious about the relationship to the Apache organization at Github
though. It
12 matches
Mail list logo
