improvement: better default push rules

2026-05-26 20:49:55 +00:00 · 2020-06-12 13:18:25 +02:00
parent e7803e310a
commit 02fe030b2a
5 changed files with 359 additions and 80 deletions
@@ -1,6 +1,8 @@
 #![feature(proc_macro_hygiene, decl_macro)]
 #![warn(rust_2018_idioms)]

+pub mod push_rules;
+
 mod client_server;
 mod database;
 mod error;