From de12aeb1a478025c081a7777501c08d674791c01 Mon Sep 17 00:00:00 2001 From: Ilya_Shlyakhter Date: Wed, 2 Jun 2021 17:02:58 +0000 Subject: [PATCH] Added a comment: matching include/exclude based on file extension in the key --- .../comment_2_5a223de56b15e59d190a833977ac07be._comment | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 doc/todo/speed_up_keys_db_update_with_git_streaming/comment_2_5a223de56b15e59d190a833977ac07be._comment diff --git a/doc/todo/speed_up_keys_db_update_with_git_streaming/comment_2_5a223de56b15e59d190a833977ac07be._comment b/doc/todo/speed_up_keys_db_update_with_git_streaming/comment_2_5a223de56b15e59d190a833977ac07be._comment new file mode 100644 index 0000000000..a1dcfd43e8 --- /dev/null +++ b/doc/todo/speed_up_keys_db_update_with_git_streaming/comment_2_5a223de56b15e59d190a833977ac07be._comment @@ -0,0 +1,9 @@ +[[!comment format=mdwn + username="Ilya_Shlyakhter" + avatar="http://cdn.libravatar.org/avatar/1647044369aa7747829c38b9dcc84df0" + subject="matching include/exclude based on file extension in the key" + date="2021-06-02T17:02:58Z" + content=""" +Actually, the include/exclude limitation above could be removed by just looking at the keys themselves, if the include/exclude expression is of the form `*.ext` and the keys include file extensions. + +"""]]