worldofpeace_ changed the topic of #nixos-dev to: #nixos-dev NixOS Development (#nixos for questions) | NixOS stable: 20.03 ✨ https://discourse.nixos.org/t/nixos-20-03-release/6785 | https://hydra.nixos.org/jobset/nixos/trunk-combined https://channels.nix.gsc.io/graph.html | https://r13y.com | 19.09 RMs: disasm, sphalerite; 20.03: worldofpeace, disasm | https://logs.nix.samueldr.com/nixos-dev
teto has quit [Quit: WeeChat 2.8]
<gchristensen> timokau[m]: where is the code?
<gchristensen> could I encourage you to adopt mypy while the project is small? :D
justanotheruser has quit [Ping timeout: 246 seconds]
<gchristensen> also if you could move to a github app, that would be ideal
<gchristensen> finally, it would be really cool to have this under the nix-community umbrella for code and sysadmin stuff. I dunno if any of these should be requirements, but just thinking about all my regrets with ofborg (and the mypy is from nixops regret)
zarel has joined #nixos-dev
justanotheruser has joined #nixos-dev
drakonis has quit [Ping timeout: 260 seconds]
orivej has joined #nixos-dev
justanotheruser has quit [Ping timeout: 272 seconds]
justanotheruser has joined #nixos-dev
drakonis has joined #nixos-dev
andi- has quit [Remote host closed the connection]
andi- has joined #nixos-dev
zarel has quit [Quit: ZNC 1.7.5 - https://znc.in]
zarel has joined #nixos-dev
justan0theruser has joined #nixos-dev
justanotheruser has quit [Ping timeout: 272 seconds]
bhipple has joined #nixos-dev
Valodim has quit [Ping timeout: 260 seconds]
bhipple has quit [Remote host closed the connection]
drakonis has quit [Read error: Connection reset by peer]
cole-h has quit [Quit: Goodbye]
justan0theruser has quit [Quit: WeeChat 2.7.1]
justanotheruser has joined #nixos-dev
init_6_ has joined #nixos-dev
FRidh has joined #nixos-dev
zarel_ has joined #nixos-dev
zarel has quit [Ping timeout: 260 seconds]
justanotheruser has quit [Ping timeout: 256 seconds]
rycee has quit [Ping timeout: 256 seconds]
rycee has joined #nixos-dev
DamienCassou has quit [Ping timeout: 256 seconds]
justanotheruser has joined #nixos-dev
domenkozar[m] has quit [*.net *.split]
timokau[m] has quit [*.net *.split]
timokau[m] has joined #nixos-dev
domenkozar[m] has joined #nixos-dev
<aristid> Hmm something appears to be corrupted in the github nixpkgs repo:
<aristid> fatal: index-pack failed
<aristid> fatal: serious inflate inconsistency
<aristid> error: inflate: data stream error (incorrect data check)
<aristid> can somebody try to reproduce it by doing a fresh git clone from git@github.com/NixOS/nixpkgs.git ?
<JJJollyjim> that's a mix of ssh and http syntax, you mean ssh?
<JJJollyjim> (ssh is git@github.com:NixOS/nixpkgs.git)
Valodim has joined #nixos-dev
<JJJollyjim> ssh clone wfm
__monty__ has joined #nixos-dev
zarel_ has quit [Ping timeout: 265 seconds]
<aristid> JJJollyjim: yeah sorry for the typo in the url
<aristid> on a different machine it also seems to work for me now
<aristid> yeah on the original machine it still fails
<aristid> and with this exact command it still fails on the original machine: git clone git@github.com:NixOS/nixpkgs.git
<aristid> i mean i can work around it by cloning from the machine where it worked. but i don’t get what’s going on
<timokau[m]> gchristensen: mypy is a good idea. For now I just wanted to get something working ASAP, get feedback and iterate on it. Now that that is done it might be time for more static analysis :)
<timokau[m]> Also Mic92 offered to host it on nix-community, which sound good
<JJJollyjim> aristid: wild guess, does that machine have zfs deduplication and maybe that got corrupted?
<timokau[m]> Thanks for trying to save me from those regrets :)
<aristid> JJJollyjim: it has zfs but no dedup
<Mic92> timokau: I can help you with mypy if you want
<timokau[m]> Mic92: I already have a pre-commit setup and for now the bot is only a couple hundred lines of code, so it shouldn't be too difficult. I have used it before. If you want to get involved already, PRs are of course welcome :)
<timokau[m]> Although for now most of the "types" are just the dics that github pushes. So for now mypy is probably limited in its usefulness. Maybe it would be possible to refactor that into a network interface and a functional part, but for now the functional part would just be incredibly small
<timokau[m]> I tried not to over-engineer anything too early in the process
<Mic92> timokau[m]: https://github.com/PyGithub/PyGithub/ comes with typing
<Mic92> but it is not async
<timokau[m]> Mic92: I remember using that at some point. For now I sticked to the library the python devs themselves use for their github bots, assuming they know what they're doing. Exploring alternatives would be a good idea though.
<Mic92> timokau[m]: never the less I will just drop some types
<timokau[m]> Mic92++
<{^_^}> Mic92 was put on Santa's "nice" list
<timokau[m]> What happened with the karma counter? gchristensen didn't want to pay up on the rewards? ;)
evanjs has quit [Read error: Connection reset by peer]
evanjs has joined #nixos-dev
<timokau[m]> By the way here is one example of a "big boy bot" from the python devs, I want to steal some more best practices from them at some point: https://github.com/python/bedevere
<timokau[m]> Especially their testing approach is worth investigating
init_6_ has quit [Ping timeout: 256 seconds]
<Mic92> timokau[m]: how do I run this pre-commit stuff?
<Mic92> timokau[m]: got it
<aristid> JJJollyjim: memtest86 on the computer with the git error gives a looot of failures
<aristid> So thanks for the hint with ZFS corruption
<JJJollyjim> oops haha 👍
<Mic92> timokau[m]: there you go: https://github.com/timokau/marvin-mk2/pull/3
<{^_^}> timokau/marvin-mk2#3 (by Mic92, 1 minute ago, open): add mypy support
<timokau[m]> Mic92: Thanks! Happy to make the step away from one contributor that fast :)
<timokau[m]> With the new CI I should probably enable branch protection and start using PRs myself
<timokau[m]> By the way gchristensen, you mentioned it would be better to move to a github app. Why is that?
<gchristensen> timokau[m]: technically bot accounts are against the rules, and they have poor credential hygiene. the app's auth method is much safer, and gives you the app author some control and ability to swap out webhook URLs and settings
<gchristensen> and increasingly, new API things are available only to Apps
<timokau[m]> gchristensen: Bot accounts are actually explicitly allowed by githubs TOS
<gchristensen> oh nea
<gchristensen> you get debugging, tools, too, if you go the app route -- tools which otherwise require ownership of the repo
<timokau[m]> The other points are probably valid though. I didn't find githubs comparison between GitHub Apps and dedicated accounts very understandable, so I just went with the easier route
<timokau[m]> For example I wasn't sure if a GitHub app would have its own profile
<timokau[m]> gchristensen: Which tools?
<gchristensen> the webhook delivery inspector
<qyliss> In my last job I used to have an email template for sending to GitHub support to get them to unblock our bot accounts when we made them
<gchristensen> awesome.
<timokau[m]> gchristensen: Sounds neat
<timokau[m]> Again, I was mostly modeling this after python's bots, assuming they have their reasons for doing what they're doing. But further investigation should be done at some point :)
<gchristensen> I doubt it
<timokau[m]> qyliss: Why didn't you use GH Apps there? Or was that just before that was a thing?
<gchristensen> apps are fairly new
<gchristensen> and I was going for less "neat" and more "really important to be able to debug and operate the system"
<gchristensen> but fair enough :P
<timokau[m]> Yeah that may be the reason
<timokau[m]> gchristensen: Well currently heroku already logs webhooks, so its an improvement but not entirely essential
<qyliss> timokau[m]: I think they'd just become a thing
<qyliss> And maybe Jenkins didn't support them yet?
<gchristensen> I'd very much like it if you took a good look at going the app route now
<qyliss> I don't remember what we used the machine users for apart from Jenkins
<timokau[m]> Makes sense, I'll probably switch it. Thanks again :)
<gchristensen> thank you :)
<timokau[m]> By the way if anyone has a good idea for a license-free profile picture, I'm open to suggestions. Unfortunately my favorite one is already my own profile picture
<gchristensen> does unsplash have anything you could use?
<timokau[m]> gchristensen: Oh yeah lots! I only knew of pixabay, but unsplash looks way better
<gchristensen> cool
<gchristensen> lol, of course, just because it is on there doesn't mean you can actually use it, like his hilarious one https://unsplash.com/photos/OI1ToozsKBw
<timokau[m]> Yeah I love that one, but in addition to the questionable license it would probably be mixing up the references too much :D
<gchristensen> :D
Bunogi has quit [Ping timeout: 258 seconds]
Bunogi has joined #nixos-dev
mmlb22 has quit [Ping timeout: 246 seconds]
bhipple has joined #nixos-dev
evanjs has quit [Read error: Connection reset by peer]
evanjs has joined #nixos-dev
nschoe has joined #nixos-dev
nschoe has quit [Ping timeout: 265 seconds]
rajivr has quit [Quit: Connection closed for inactivity]
<worldofpeace> hey glitches
<worldofpeace> the stalebot has made my github notifications unparseable 🤣
justanotheruser has quit [Ping timeout: 260 seconds]
drakonis has joined #nixos-dev
FRidh has quit [Quit: Konversation terminated!]
<gchristensen> nice to see you here worldofpeace =)
justanotheruser has joined #nixos-dev
<worldofpeace> gchristensen: thanks, I missed everyone 😊
<etu> worldofpeace: Breaks from things can be healthy:)
<worldofpeace> etu: totally 👍️ More focus at your disposal to invest into other things.
<etu> worldofpeace: Yep, and gives a bit of perspective about how one spends their time. It's easy to get stuck in things and believe that it's the most important thing there is. Which usually isn't the case.
cole-h has joined #nixos-dev
<worldofpeace> etu: couldn't agree more. I've found, if I need a break or some perspective, I can always safely withdraw from something depending on the mood, interest, or potential. and that's like withdraw into a space of support that is replenishing and inspiring.
Jackneill has quit [Ping timeout: 260 seconds]
bhipple has quit [Ping timeout: 260 seconds]
justanotheruser has quit [Quit: WeeChat 2.7.1]
orivej_ has joined #nixos-dev
orivej has quit [Ping timeout: 264 seconds]
bhipple has joined #nixos-dev
bhipple has quit [Ping timeout: 256 seconds]
bhipple has joined #nixos-dev
domenkozar[m] has quit [Ping timeout: 256 seconds]
domenkozar[m] has joined #nixos-dev
orivej_ has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-dev
orivej has quit [Ping timeout: 264 seconds]
orivej_ has joined #nixos-dev
justanotheruser has joined #nixos-dev
jtojnar has quit [*.net *.split]
xfix has quit [*.net *.split]
Ox4A6F has quit [*.net *.split]
cocreature has quit [*.net *.split]
cocreature has joined #nixos-dev
xfix has joined #nixos-dev
Ox4A6F has joined #nixos-dev
jtojnar has joined #nixos-dev
zimbatm has quit [*.net *.split]
Taneb has quit [*.net *.split]
m1cr0man has quit [*.net *.split]
evils has quit [*.net *.split]
obadz has quit [*.net *.split]
Mic92 has quit [*.net *.split]
colemickens has quit [*.net *.split]
johanot has quit [*.net *.split]
raboof has quit [*.net *.split]
davidtwco has quit [*.net *.split]
emilazy has quit [*.net *.split]
claudiii_ has quit [*.net *.split]
Mic92 has joined #nixos-dev
m1cr0man has joined #nixos-dev
Taneb has joined #nixos-dev
zimbatm has joined #nixos-dev
emilazy has joined #nixos-dev
claudiii_ has joined #nixos-dev
davidtwco has joined #nixos-dev
raboof has joined #nixos-dev
johanot has joined #nixos-dev
evils has joined #nixos-dev
obadz has joined #nixos-dev
grw1 has quit [*.net *.split]
lovesegfault has quit [*.net *.split]
joko has quit [*.net *.split]
infinisil has quit [*.net *.split]
niksnut has quit [*.net *.split]
WilliButz has quit [*.net *.split]
bridge[evilred] has quit [*.net *.split]
clever has quit [*.net *.split]
makefu has quit [*.net *.split]
lukegb has quit [*.net *.split]
aszlig has quit [*.net *.split]
WilliButz has joined #nixos-dev
bridge[evilred] has joined #nixos-dev
clever has joined #nixos-dev
infinisil has joined #nixos-dev
niksnut has joined #nixos-dev
lovesegfault has joined #nixos-dev
aszlig has joined #nixos-dev
grw1 has joined #nixos-dev
lukegb has joined #nixos-dev
makefu has joined #nixos-dev
joko has joined #nixos-dev
domenkozar[m] has quit [*.net *.split]
ky0ko has quit [*.net *.split]
ryantm has quit [*.net *.split]
hexa- has quit [*.net *.split]
bachp has quit [*.net *.split]
roberth has quit [*.net *.split]
bennofs[m] has quit [*.net *.split]
jonge[m] has quit [*.net *.split]
thefloweringash has quit [*.net *.split]
jonge[m] has joined #nixos-dev
bennofs[m] has joined #nixos-dev
roberth has joined #nixos-dev
thefloweringash has joined #nixos-dev
bachp has joined #nixos-dev
hexa- has joined #nixos-dev
ryantm has joined #nixos-dev
ky0ko has joined #nixos-dev
domenkozar[m] has joined #nixos-dev
bennofs[m] has quit [Max SendQ exceeded]
hexa- has quit [Max SendQ exceeded]
domenkozar[m] has quit [Ping timeout: 252 seconds]
zimbatm[m] has quit [Ping timeout: 240 seconds]
doronbehar has quit [Ping timeout: 240 seconds]
matthewbauer has quit [Ping timeout: 240 seconds]
Shados has quit [*.net *.split]
tokudan[m] has quit [*.net *.split]
danielrf[m] has quit [*.net *.split]
jongeOld[m] has quit [*.net *.split]
rnhmjoj has quit [*.net *.split]
emily has quit [*.net *.split]
tdeo has quit [*.net *.split]
aranea has quit [*.net *.split]
JJJollyjim has quit [Ping timeout: 244 seconds]
mkg20001 has quit [Ping timeout: 244 seconds]
Ericson2314 has quit [Ping timeout: 244 seconds]
davidtwco has quit [Ping timeout: 246 seconds]
dtz has quit [Ping timeout: 246 seconds]
xfix has quit [Ping timeout: 244 seconds]
Ox4A6F has quit [Ping timeout: 244 seconds]
bachp has quit [Ping timeout: 252 seconds]
thefloweringash has quit [Ping timeout: 252 seconds]
roberth has quit [Ping timeout: 252 seconds]
timokau[m] has quit [Ping timeout: 256 seconds]
Irenes[m] has quit [Ping timeout: 260 seconds]
Dandellion has quit [Ping timeout: 260 seconds]
jtojnar has quit [Ping timeout: 244 seconds]
Scriptkiddi has quit [*.net *.split]
ajs124 has quit [*.net *.split]
qyliss has quit [*.net *.split]
nh2 has quit [*.net *.split]
sorear has quit [*.net *.split]
sphalerite has quit [*.net *.split]
dottedmag has quit [*.net *.split]
thonkpod has quit [*.net *.split]
talyz has quit [*.net *.split]
thonkpod has joined #nixos-dev
talyz has joined #nixos-dev
dottedmag has joined #nixos-dev
sphalerite has joined #nixos-dev
nh2 has joined #nixos-dev
Scriptkiddi has joined #nixos-dev
sorear has joined #nixos-dev
ajs124 has joined #nixos-dev
qyliss has joined #nixos-dev
Shados has joined #nixos-dev
tdeo has joined #nixos-dev
urkk has quit [*.net *.split]
rsa_ has quit [*.net *.split]
betawaffle has quit [*.net *.split]
pbogdan has quit [*.net *.split]
Profpatsch has quit [*.net *.split]
edwtjo has quit [*.net *.split]
tdeo has joined #nixos-dev
tdeo has quit [Changing host]
eyJhb has joined #nixos-dev
betawaffle has joined #nixos-dev
rsa_ has joined #nixos-dev
pbogdan has joined #nixos-dev
edwtjo has joined #nixos-dev
Profpatsch has joined #nixos-dev
urkk has joined #nixos-dev
aranea has joined #nixos-dev
yegortimoshenko has quit [Ping timeout: 244 seconds]
nocent has quit [Ping timeout: 244 seconds]
hexa- has joined #nixos-dev
davidtwco has joined #nixos-dev
Valodim[m] has quit [Ping timeout: 260 seconds]
ma27[m] has quit [Ping timeout: 244 seconds]
freeman42x[m] has quit [Ping timeout: 244 seconds]
puzzlewolf has quit [Ping timeout: 244 seconds]
aanderse has quit [Ping timeout: 244 seconds]
vaibhavsagar has quit [Ping timeout: 244 seconds]
jonge[m] has quit [Ping timeout: 252 seconds]
betawaffle has quit [Max SendQ exceeded]
raboof has quit [Ping timeout: 246 seconds]
davidtwco has joined #nixos-dev
davidtwco has quit [Changing host]
PkmX[m] has quit [Ping timeout: 244 seconds]
arcnmx has quit [Ping timeout: 260 seconds]
alexarice[m] has quit [Ping timeout: 260 seconds]
abbradar[m] has quit [Ping timeout: 260 seconds]
michaelpj has quit [Ping timeout: 260 seconds]
nh2 has quit [Ping timeout: 246 seconds]
raboof has joined #nixos-dev
worldofpeace has quit [Ping timeout: 260 seconds]
rycee has quit [Ping timeout: 260 seconds]
betawaffle has joined #nixos-dev
nh2 has joined #nixos-dev
yegortimoshenko has joined #nixos-dev
puzzlewolf has joined #nixos-dev
ma27[m] has joined #nixos-dev
aanderse has joined #nixos-dev
jonge[m] has joined #nixos-dev
PkmX[m] has joined #nixos-dev
arcnmx has joined #nixos-dev
alexarice[m] has joined #nixos-dev
abbradar[m] has joined #nixos-dev
michaelpj has joined #nixos-dev
doronbehar has joined #nixos-dev
zimbatm[m] has joined #nixos-dev
DamienCassou1 has joined #nixos-dev
worldofpeace has joined #nixos-dev
rycee has joined #nixos-dev
xfix has joined #nixos-dev
timokau[m] has joined #nixos-dev
matthewbauer has joined #nixos-dev
__monty__ has quit [Quit: leaving]
colemickens has joined #nixos-dev
Valodim[m] has joined #nixos-dev
JJJollyjim has joined #nixos-dev
freeman42x[m] has joined #nixos-dev
vaibhavsagar has joined #nixos-dev
roberth has joined #nixos-dev
thefloweringash has joined #nixos-dev
domenkozar[m] has joined #nixos-dev
bennofs[m] has joined #nixos-dev
Ericson2314 has joined #nixos-dev
danielrf[m] has joined #nixos-dev
tokudan[m] has joined #nixos-dev
jongeOld[m] has joined #nixos-dev
rnhmjoj has joined #nixos-dev
emily has joined #nixos-dev
dtz has joined #nixos-dev
Irenes[m] has joined #nixos-dev
Dandellion has joined #nixos-dev
Ox4A6F has joined #nixos-dev
jtojnar has joined #nixos-dev
bachp has joined #nixos-dev
mkg20001 has joined #nixos-dev
nocent has joined #nixos-dev
bhipple has quit [Ping timeout: 265 seconds]