01:48 ilbot3 joined 06:56 domidumont joined 07:03 domidumont joined 09:09 TimToady joined 09:27 AlexDaniel joined 11:38 lizmat joined 12:31 lizmat_ joined
MasterDuke timotimo: what's the name of your string nursery adjusting branch? 12:32
timotimo adjust_nursery_stringops 12:34
MasterDuke thanks 12:35
fyi, looks like it doesn't merge cleanly with master at HEAD 12:46
timotimo yeah, sam is working in the same file 12:47
MasterDuke just tried that code sample from mr_ron (`for (50_000, 100_000) -> $limit {my $x; my $y = "x" x 100; $x ~= $y for (1..$limit); say "$limit: ", now - ENTER now}`) with and without your branch 13:29
before: i.imgur.com/ntDAAQU.png
after: i.imgur.com/HEQxBgw.png
timotimo: ^^^ 13:30
timotimo that looks like an improvement 13:43
MasterDuke i'd say so 13:52
13:53 lizmat joined 14:09 lizmat joined 14:14 domidumont joined 15:22 zakharyas joined 16:05 zakharyas joined 16:12 lizmat joined 16:53 Ven joined, lizmat joined 18:49 ilbot3 joined 18:56 Ven joined 19:29 lizmat joined
samcv good * 20:52
well i just added my first note to a commit and pushed it 21:01
neat
github doesn't seem to show it though :|
timotimo i'm not sure git notes and github comments are the same thing or even compatible at all?
(and i have never use dgit notes before %) ) 21:02
BBIAB
samcv they are not the same
i did git notes add 0729f841
added my note. i can see it in git log. then i did git push refs/notes/commits
it doesn't get pushed by default with refs/master or whatever it is 21:03
timotimo, if you try and pull can you see my note on 0729f841
which is the latest commit
timotimo i don't see it :( 21:46
error: No note found for object 0729f8411b6d787b4e6ccba089046dfb801fd968.
samcv can you try pulling /refs/notes/commits 21:57
err refs/notes/commits 21:58
22:30 lizmat joined
timotimo i don't think that's a thing you can pull from? 23:00
i think that's where things get stored to locally?
23:00 lizmat joined
samcv timotimo, hmm i can do git fetch origin refs/notes/commits 23:22
but if i try to pull then it gives me an error
timotimo oh 23:25
samcv i'm so confused though 23:26
in general
about how to push and pull notes
jnthn Hm, they're doing it using the refs thing? 23:27
samcv yeah 23:28
23:28 deep-book-gk_ joined
jnthn Does fetch instead of pull work out? 23:28
pull = fetch + merge, but if it's not a commit object being fetched then I suspect it confuses the merge step 23:29
23:30 deep-book-gk_ left
samcv fatal: refusing to merge unrelated histories 23:38
i'm sure i'm doing this wrong
timotimo yeah, that's the pull == fetch + merge thing 23:40
geekosaur right, just do fetch not merge 23:42
er, not pull
samcv i did do fetch though 23:47
geekosaur then I'd expect the note to be there, provided you also pulled the object it's attached to (that is in the normal repo not refs/notes)
...that might require git fetch --tags or some such 23:48
samcv ok to fetch notes 23:51
git fetch origin 'refs/notes/*:refs/notes/*'
why can't it just get them automatically and make everybodies life easier 23:52