bodewig commented on issue #1: Fix issue ant-antlibs-common submodule not found
URL: https://github.com/apache/ant-antlibs-props/pull/1#issuecomment-447769681
should be fixed with df20430
Many thanks for reporting it.
T
vgoncharenko closed pull request #1: Fix issue ant-antlibs-common submodule not
found
URL: https://github.com/apache/ant-antlibs-props/pull/1
This is a PR merged from a forked repository.
As GitHub hides the original diff on merge, it is displayed below for
the sake of provenance:
As thi
vgoncharenko commented on issue #1: Fix issue ant-antlibs-common submodule not
found
URL: https://github.com/apache/ant-antlibs-props/pull/1#issuecomment-447769149
ok, thanks for your fast reaction to my problem.
This is an a
bodewig commented on issue #1: Fix issue ant-antlibs-common submodule not found
URL: https://github.com/apache/ant-antlibs-props/pull/1#issuecomment-447768646
Sorry for that, we are in the process of moving our repositories internally
at Apache, expect some hiccups.
Rather than mergi
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
vgoncharenko opened a new pull request #1: Fix issue ant-antlibs-common
submodule not found
URL: https://github.com/apache/ant-antlibs-props/pull/1
Hello, today during installation of this project I have faced an issue like
that:
+ git submodule init
Submodule 'common'
(https://
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.
