5 commits

Author	SHA1	Message	Date
Dima Gerasimov	759b0e1324	polar: expose a proper filename	2020-05-15 10:11:09 +01:00
Dima Gerasimov	87ad9d38bb	polar: add test for orger integration	2020-05-15 09:52:18 +01:00
Dima Gerasimov	0f27071dcc	polar: minor improvements, konsume: more type annotations	2020-05-15 09:07:23 +01:00
Dima Gerasimov	f3d5064ff2	polar: allow properly specifying polar_dir, with ~ as a default	2020-05-15 08:18:47 +01:00
Dima Gerasimov	b2b7eee480	polar: add test against custom public repos	2020-05-15 07:42:21 +01:00