On 17/12/18 2:25 PM, Stefan Bodewig wrote:
> On 2018-12-17, Jaikiran Pai wrote:
>
>> On 17/12/18 2:09 PM, Stefan Bodewig wrote:
>>> I will take care of Gump, if anybody else could look into Jenkins that
>>> would be great.
>> I'll take a look at the Jenkins jobs later tonight and update them as
>>
On 2018-12-17, Jaikiran Pai wrote:
> On 17/12/18 2:09 PM, Stefan Bodewig wrote:
>> I will take care of Gump, if anybody else could look into Jenkins that
>> would be great.
> I'll take a look at the Jenkins jobs later tonight and update them as
> necessary.
Thank you. I've also updated the main
On 17/12/18 2:09 PM, Stefan Bodewig wrote:
> I will take care of Gump, if anybody else could look into Jenkins that
> would be great.
I'll take a look at the Jenkins jobs later tonight and update them as
necessary.
-Jaikiran
Hi all
I've sucessfully pushed to gitbox and github by now. What you want to do
depends on whether you want to push your changes to gitbox or github.
Assuming you want to commit to gitbox you need to change your origin's
URL, something like
git remote set-url origin \
https://gitbox.
On 2018-12-16, Stefan Bodewig wrote:
> the vote has passed and I've opened
> https://issues.apache.org/jira/browse/INFRA-17455
We now should be at gitbox, will check later today.
This means you need to change or add remotes and can decide whether to
use gitbox.apache.org or github when pushing c
