Oliver
0 Followers · 0 Following
Repositories
28
 Projects Packages Public Activity Starred Repositories
2
Oliver pushed to main at Oliver/internet_mapper 2025-07-17 15:37:20 +00:00
f3a51065b5 remove fixme
343d3a7570 better logging
Compare 2 commits »
Oliver pushed to main at Oliver/internet_mapper 2025-07-17 15:00:04 +00:00
e535bcc295 Merge branch 'main' of https://git.oliveratkinson.net/Oliver/internet_mapper
a0fd81d956 better config file
5cbba33a09 update how the database interactions work
Compare 3 commits »
Oliver pushed to main at Oliver/internet_mapper 2025-07-16 22:07:46 +00:00
83def7ba27 close #10
Oliver closed issue Oliver/internet_mapper#10 2025-07-16 22:07:46 +00:00
prepend metric names
Oliver pushed to main at Oliver/internet_mapper 2025-07-16 22:02:23 +00:00
76e78cc745 better logging
b4038b76dd fix prometheus lol
caa523f1eb cleanup
f7bb0eef16 turn program into batch_size parrallel downloaders
Compare 4 commits »
Oliver deleted branch tempfiles from Oliver/internet_mapper 2025-07-16 02:26:16 +00:00
Oliver pushed to main at Oliver/internet_mapper 2025-07-16 02:26:16 +00:00
865f9be8c0 Merge pull request 'works 😄' (#16) from tempfiles into main
48abc73092 works 😄
Compare 2 commits »
Oliver merged pull request Oliver/internet_mapper#16 2025-07-16 02:26:15 +00:00
works :smile:
Oliver created pull request Oliver/internet_mapper#16 2025-07-16 02:26:06 +00:00
works 😄
Oliver pushed to tempfiles at Oliver/internet_mapper 2025-07-16 02:25:55 +00:00
48abc73092 works 😄
Oliver created branch tempfiles in Oliver/internet_mapper 2025-07-16 02:25:55 +00:00
Oliver opened issue Oliver/internet_mapper#15 2025-07-16 02:17:31 +00:00
trying to push to
Oliver opened issue Oliver/internet_mapper#14 2025-07-16 02:02:57 +00:00
during a batch...
Oliver deleted branch better_metrics from Oliver/internet_mapper 2025-07-16 00:58:52 +00:00
Oliver pushed to main at Oliver/internet_mapper 2025-07-16 00:58:48 +00:00
0061866976 Merge pull request 'traces and new metrics work' (#13) from better_metrics into main
9662b68b0d traces and new metrics work
Compare 2 commits »
Oliver merged pull request Oliver/internet_mapper#13 2025-07-16 00:58:48 +00:00
traces and new metrics work
Oliver created pull request Oliver/internet_mapper#13 2025-07-16 00:58:44 +00:00
traces and new metrics work
Oliver opened issue Oliver/internet_mapper#12 2025-07-12 17:33:43 +00:00
import from filesystem
Oliver opened issue Oliver/internet_mapper#11 2025-07-12 17:30:06 +00:00
add batch size metric
Oliver opened issue Oliver/internet_mapper#10 2025-07-11 05:46:19 +00:00
prepend metric names