hjp
0 Followers · 0 Following
  • Joined on 2018-06-07
Repositories
54
 Projects Packages Public Activity Starred Repositories
hjp pushed to master at hjp/sandkiste 2023-07-08 17:54:15 +02:00
43938e6d7a Add a demo action
hjp opened issue hjp/kitsune#1 2023-06-05 15:22:16 +02:00
FileNotFoundError
hjp pushed tag v3.05 to hjp/kitsune 2023-05-17 16:05:36 +02:00
hjp pushed to master at hjp/kitsune 2023-05-17 16:04:40 +02:00
c619e74e15 Open only recently changed files to conserve file descriptors
hjp pushed to master at hjp/meeat 2023-05-14 13:17:07 +02:00
b88b0724c7 Merge branch 'master' of git.hjp.at:hjp/meeat
aa9e609446 Add option direction to definition of runoff
Compare 2 commits »
hjp pushed to master at hjp/meeat 2023-05-14 13:15:08 +02:00
187718f360 Weight ballots by their their best option
hjp pushed to master at hjp/meeat 2023-05-12 21:39:14 +02:00
34f361a4a6 Reverse direction of instant runoff
hjp pushed tag r3.05 to hjp/ltsdb 2023-05-06 00:16:06 +02:00
hjp pushed to master at hjp/ltsdb 2023-05-06 00:14:17 +02:00
a95ba6c51f Backport to Python 3.6
hjp pushed to master at hjp/ltsdb 2023-04-17 13:22:20 +02:00
5047a56fe8 Record number of connections per dataabase from pg_stat_activity
hjp pushed to master at hjp/ltsdb 2023-03-19 11:40:12 +01:00
1485debaae Merge branch 'master' of git.hjp.at:hjp/ltsdb
f9f9bb4025 Allow arbitrary number of stops
f0e0ea2d73 Remove dead code
Compare 3 commits »
hjp pushed to master at hjp/ltsdb 2023-03-19 11:39:21 +01:00
74842b64dd Rename data to test_data to prevent clash with live layout
hjp pushed to wsr_shared at hjp/dot 2023-03-05 15:11:13 +01:00
ccd713b6ec Merge branch 'master' into wsr_shared
87a5b91d53 Merge branch 'master' of git.hjp.at:hjp/dot
0b316e008c Add collection of ssh public keys
6cb71fa6cc Source only readable profiles
Compare 4 commits »
hjp pushed to wsr at hjp/dot 2023-03-05 15:10:58 +01:00
d466fe0733 Merge branch 'master' into wsr
87a5b91d53 Merge branch 'master' of git.hjp.at:hjp/dot
0b316e008c Add collection of ssh public keys
6cb71fa6cc Source only readable profiles
Compare 4 commits »
hjp pushed to hjp at hjp/dot 2023-03-05 15:10:40 +01:00
dbc2c9668b Merge branch 'master' into hjp
87a5b91d53 Merge branch 'master' of git.hjp.at:hjp/dot
0b316e008c Add collection of ssh public keys
6cb71fa6cc Source only readable profiles
Compare 4 commits »
hjp pushed to master at hjp/dot 2023-03-05 15:10:16 +01:00
87a5b91d53 Merge branch 'master' of git.hjp.at:hjp/dot
1db95b2996 Set pull.rebase to false globally (finally!)
Compare 2 commits »
hjp pushed to hjp at hjp/dot 2023-03-05 15:08:47 +01:00
34262b367d Merge branch 'master' into hjp
1db95b2996 Set pull.rebase to false globally (finally!)
Compare 2 commits »
hjp pushed to wsr at hjp/dot 2023-03-05 15:08:47 +01:00
0d49086578 Merge branch 'master' into wsr
1db95b2996 Set pull.rebase to false globally (finally!)
Compare 2 commits »
hjp pushed to wsr_shared at hjp/dot 2023-03-05 15:08:47 +01:00
eea9e7b27d Merge branch 'master' into wsr_shared
1db95b2996 Set pull.rebase to false globally (finally!)
Compare 2 commits »
hjp pushed to hjp at hjp/dot 2023-03-04 10:23:07 +01:00
d8c69679ac Set pull.rebase to false globally (finally!)