diff options
author | Sean McGivern <sean@gitlab.com> | 2019-07-15 16:12:38 +0300 |
---|---|---|
committer | Sean McGivern <sean@gitlab.com> | 2019-07-25 10:56:45 +0300 |
commit | 1ec7dae9adddbd73f6d2d3eb87b8c4473038d50a (patch) | |
tree | 76923568d4d390c254fca41846c33c992e33bd40 /doc/development/README.md | |
parent | f2582fbcddb353a640cf65acae5714b025ef07ad (diff) |
Add development documentation on label filtering
This topic comes up periodically, and we've investigated several options
for changing the way we filter labels. Unfortunately, we have yet to
find an option that is strictly better than the current state.
Diffstat (limited to 'doc/development/README.md')
-rw-r--r-- | doc/development/README.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/development/README.md b/doc/development/README.md index a74770ae383..45efa744a6b 100644 --- a/doc/development/README.md +++ b/doc/development/README.md @@ -111,6 +111,10 @@ description: 'Learn how to contribute to GitLab.' - [Database helper modules](database_helpers.md) - [Code comments](code_comments.md) +## Case studies + +- [Database case study: Filtering by label](filtering_by_label.md) + ## Integration guides - [Jira Connect app](integrations/jira_connect.md) |