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 |