add user-agent header to be nice
authorJann Horn <jann@thejh.net>
Mon, 2 Sep 2024 01:10:55 +0000 (03:10 +0200)
committerJann Horn <jann@thejh.net>
Mon, 2 Sep 2024 01:10:55 +0000 (03:10 +0200)
commit84d99113df088238faff493d011a98c11f98b525
tree43eaa482d43358e67662ad29424c4fbffda2b6e4
parent6504dc79b103215958de139c14ed5f5a1f9fa5bf
add user-agent header to be nice
main.py