Re: [GD-DEVEL] Re: website details
| From: | Pierre Joye | Date: | Sat, 25 Jun 2016 09:41:35 +0000 |
| Subject: | Re: [GD-DEVEL] Re: website details | ||
| References: | 1 2 3 4 5 6 7 8 | Groups: | php.gd.devel |
| Request: | Send a blank email to php-gd-devel+get-777@lists.php.net to get a copy of this message | ||
On Sat, Jun 25, 2016 at 2:24 AM, Mike Frysinger <vapier@gentoo.org> wrote:
> On 24 Jun 2016 22:43, Pierre Joye wrote:
>> On Wed, Jun 15, 2016 at 9:06 PM, Mike Frysinger wrote:
>> > On 18 May 2016 02:16, Mike Frysinger wrote:
>> >> On 18 May 2016 13:06, Pierre Joye wrote:
>> >> > Afair the later is automatically updated.
>> >> >
>> >> > I will check after lunch and give you the missing access.
>> >>
>> >> hmm, that update seems to be broken :(
>> >
>> > could i get access to push directly to the repo in the mean time ?
>>
>> I think we have to change the travis file accordingly:
>>
>> https://gist.github.com/domenic/ec8b0fc8ab45f39403dd
>
> i haven't done this before, so i'll have to play around a bit
>
>> You also have access to libgd.github.io (for the deploy key too)
>
> thanks ... i'm able to deploy the changes now
> -mike
I found the mistake I think,my mistake (obviously ;)
What we need to change:
- drop website repo and create a branch in libgd.github.io with the
content of website/
- Use a derivative of the script I linked here early to create the
content and push output/ in master (libgd.github.io)
Ideally I would prefer to have master for the scripts and gh-pages for
the content but it fails now, not sure why but that's surely a detail.
Alternatively:
- encrypt the key for libgd.github.io
- add key to website so it can be used to push to libgd.github.io
- in travis script
. decrypt key for libgithub.io
. checkout libgd.github.io
. git rm all
. rcp content from output/ generated by make publish
. git add / commit / push
Cheers,
--
Pierre
@pierrejoye | http://www.libgd.org