paulsherwood | ChrisPolin: ok, but i don't know if Robert has ever participated in a git workflow, so i think he may need others to participate and assist | 08:12 |
---|---|---|
*** fay_ has joined #trustable | 08:23 | |
*** ctbruce has joined #trustable | 08:25 | |
paulsherwood | eek http://mustard.trustable.io/HEAD/history gives 500 | 08:34 |
* paulsherwood googles 'high integrity software' and discovers http://www.his-2016.co.uk - it's a small world after all | 08:37 | |
AndrewBanks | Someone I know spoke at that conference....... | 08:38 |
AndrewBanks | :) | 08:38 |
paulsherwood | several people i know were at it. unfortunately i was not aware of it at the time :) | 08:38 |
AndrewBanks | suggests a date for the diary 2017-10-17 :-) | 08:39 |
paulsherwood | ack | 08:40 |
paulsherwood | but iiuc that's a SCSC event? there isn't another project behind it? | 08:40 |
paulsherwood | AndrewBanks: can we add you to the trustable gitlab team? | 08:41 |
* paulsherwood mentions https://github.com/bluepilot/scvs before he forgets it | 08:51 | |
AndrewBanks | No probs Paul - I'm AndrewBanks on GitLab (but that seems to be taken on GitHub) | 09:10 |
AndrewBanks | Don't think HIS is an SCSC event... | 09:13 |
*** toscalix has joined #trustable | 09:16 | |
ChrisPolin | paulsherwood, no problem, happy to assist. At the moment though, TS 17961 is up as a private wiki which is simply editable from the browser - there's an edit history there. As I understood it, this was the format Robert had suggested. I'll also push the markdown to the repo, so that option is also available. | 10:11 |
jmacs | paulsherwood: Bug noted, I'll see what's up | 10:12 |
jmacs | It's broken on my local install as well. | 10:21 |
*** laurenceurhegyi has joined #trustable | 11:12 | |
*** laurenceurhegyi has quit IRC | 12:37 | |
*** toscalix has quit IRC | 13:31 | |
*** toscalix has joined #trustable | 13:33 | |
*** sambishop has quit IRC | 13:46 | |
*** mdunford has quit IRC | 13:56 | |
*** mdunford has joined #trustable | 14:00 | |
*** sambishop has joined #trustable | 14:01 | |
*** toscalix has quit IRC | 14:55 | |
*** laurenceurhegyi has joined #trustable | 14:59 | |
*** sambishop has quit IRC | 15:01 | |
*** toscalix has joined #trustable | 16:03 | |
*** fay_ has quit IRC | 16:17 | |
*** sambishop has joined #trustable | 16:17 | |
*** toscalix has quit IRC | 16:26 | |
*** toscalix has joined #trustable | 16:27 | |
*** mdunford has quit IRC | 16:32 | |
*** ctbruce has quit IRC | 16:53 | |
*** toscalix has quit IRC | 17:32 | |
*** ChrisPolin has quit IRC | 18:07 | |
*** toscalix has joined #trustable | 18:10 | |
*** laurenceurhegyi has quit IRC | 18:13 | |
*** toscalix has quit IRC | 18:19 | |
*** ChrisPolin has joined #trustable | 18:27 | |
*** ChrisPolin has quit IRC | 19:37 | |
*** brlogger has joined #trustable | 22:30 |
Generated by irclog2html.py 2.17.3 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!