diff options
Diffstat (limited to 'app/Main.hs')
| -rw-r--r-- | app/Main.hs | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/app/Main.hs b/app/Main.hs index 78b95f2..e8440f7 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -21,19 +21,6 @@ -- I would like to filter `--filter '@assigned *@posteo.de'`. -- @topic tags --- TODO Tag improvements (priorities) --- --- I would like anissue to support priorities when filtering. Let's for a first implementation say that priorities are represented by an integer-values `@priority` tag on an issue. The `--filter` can be extended for filtering integer-valued tags, and the following syntax: --- --- - `--filter '@priority >1'`, `--filter '@priority <1` --- - `--filter '@priority >=1'`, `--filter '@priority <=1` --- --- At some later point, we can configure `high`, `medium`, `low` to mean --- `1,2,3`, `4,5,6`, `7,8,9` respectively. --- --- Issues having a `@priority` tag whose value is not an integer should be regarded not matching the filter. --- @topic tags - -- TODO Add support for ammendments -- -- The user can ammend more information to an issue which is located at |