IRC logs for #aegir, 2019-07-04 (GMT)

‹ 2019-07-03
2019-07-05 ›
TimeNickMessage
[16:59:08]<helmo42[m]>colan: Gitlab can push, but needs authentication against GitHub for that .... should be possible but I haven't tried
[23:34:54]* TaoStyle has joined #aegir
[23:35:02]* TaoStyle has quit (Client Quit)
[02:29:28]<colan[m]>right; i can set up that up. just did it somewhere else recently.
[02:29:48]<colan[m]>https://www.aegirproject.org/ had old broken docs links everywhere. fixed.
[05:54:23]<colan[m]>helmo42: actually, can we simply take down the github doc project entirely, as we're doing all of that on gitlab now? do we really need both?
[05:57:31]<helmo42[m]>I think jon preferred the Github interface for editing .... and it might add a few more broken links :( ... not sure is we can leave a redirect when we take it down
[06:03:39]<colan[m]>I just e-mailed him about it.