| *** tpb has joined #tp | 00:00 | |
| *** ChanServ sets mode: +o tpb | 00:00 | |
| *** tansell-laptop has quit IRC | 00:56 | |
| tansell | anyone alive in here? | 02:57 |
|---|---|---|
| tansell | llnz, ping? | 02:57 |
| llnz | tansell: pong | 02:57 |
| llnz | hi tansell, how are you? | 02:58 |
| tansell | good | 02:59 |
| tansell | busy, but good | 02:59 |
| tansell | did you see www.thousandparsec.net is IPv6 enabled? | 02:59 |
| tansell | I'm thinking of moving our primary repositories to github and using git.thousandparsec.net as a mirror | 02:59 |
| tansell | (s/mirror/read only mirror/ | 02:59 |
| llnz | no, i didn't see that | 02:59 |
| llnz | cool | 02:59 |
| llnz | we could do, i suppose | 03:00 |
| tansell | the wiki is getting heaps of spam | 03:01 |
| tansell | maybe we should use github's wiki instead? | 03:07 |
| llnz | would we be able to transfer existing content? | 03:18 |
| tansell | not easily | 04:01 |
| *** tansell-laptop has joined #tp | 04:19 | |
| llnz | read-only existing then? | 04:37 |
| * llnz wanders off | 04:37 | |
| llnz | later all | 04:37 |
| *** llnz has quit IRC | 04:37 | |
| *** StrangerDanger has joined #tp | 06:33 | |
| *** tansell-laptop has quit IRC | 09:25 | |
| *** tansell-laptop has joined #tp | 09:32 | |
| ezod | tansell-laptop: | 11:18 |
| ezod | tansell: | 11:19 |
| tansell-laptop | hey ezod | 11:19 |
| ezod | hey | 11:19 |
| ezod | i'm fully in support of github move ;) | 11:19 |
| tansell-laptop | ezod, want to do the work for it? :P | 11:19 |
| ezod | alanp, nash and i had already talked about it a couple weeks ago | 11:19 |
| ezod | sure | 11:19 |
| tansell-laptop | there is currently a script on roger that pushes to github | 11:21 |
| tansell-laptop | so it needs to change to be a pull | 11:21 |
| tansell-laptop | and the hooks need to be setup | 11:21 |
| ezod | ok, i can probably handle it, i don't currently have ssh access (or anything more than a rudimentary understanding of the server structure) | 11:22 |
| ezod | with regards to moving onto github wiki | 11:24 |
| ezod | i'm sure there's a wikimedia -> markdown (or other github supported) conversion tool | 11:24 |
| ezod | and i'll do what manual cleanup i can | 11:25 |
| ezod | i bet someone has come up with a way to migrate google issues to github issues also | 11:25 |
| ezod | oh actually github supports mediawiki | 11:31 |
| tansell-laptop | I would prefer to keep history if at all possible | 11:48 |
| tansell-laptop | I actually has some scripts which where suppose to produce an ikiwiki output | 11:49 |
| tansell-laptop | https://github.com/mithro/media2iki | 11:49 |
| tpb | Title: mithro/media2iki - GitHub (at github.com) | 11:49 |
| alanp | github++ | 12:37 |
| *** shenki has quit IRC | 13:31 | |
| *** shenki has joined #tp | 13:32 | |
| *** tansell-laptop has quit IRC | 13:48 | |
| *** shenki has quit IRC | 14:45 | |
| *** shenki has joined #tp | 14:46 | |
| *** tansell-laptop has joined #tp | 14:57 | |
| *** StrangerDanger has quit IRC | 15:47 | |
| *** StrangerDanger has joined #tp | 16:21 | |
| *** verhoevenv has joined #tp | 19:27 | |
| *** llnz has joined #tp | 20:02 | |
| *** welterde has quit IRC | 21:10 | |
| *** welterde has joined #tp | 21:22 | |
| *** StrangerDanger has quit IRC | 22:07 | |
| *** verhoevenv has quit IRC | 22:08 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!