{"action":"created","issue":{"url":"https://api.github.com/repos/standardnotes/desktop/issues/202","repository_url":"https://api.github.com/repos/standardnotes/desktop","labels_url":"https://api.github.com/repos/standardnotes/desktop/issues/202/labels{/name}","comments_url":"https://api.github.com/repos/standardnotes/desktop/issues/202/comments","events_url":"https://api.github.com/repos/standardnotes/desktop/issues/202/events","html_url":"https://github.com/standardnotes/desktop/issues/202","id":342120081,"node_id":"MDU6SXNzdWUzNDIxMjAwODE=","number":202,"title":"case-sensitive Tags & tag renaming","user":{"login":"bagodoosh","id":14930037,"node_id":"MDQ6VXNlcjE0OTMwMDM3","avatar_url":"https://avatars0.githubusercontent.com/u/14930037?v=4","gravatar_id":"","url":"https://api.github.com/users/bagodoosh","html_url":"https://github.com/bagodoosh","followers_url":"https://api.github.com/users/bagodoosh/followers","following_url":"https://api.github.com/users/bagodoosh/following{/other_user}","gists_url":"https://api.github.com/users/bagodoosh/gists{/gist_id}","starred_url":"https://api.github.com/users/bagodoosh/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bagodoosh/subscriptions","organizations_url":"https://api.github.com/users/bagodoosh/orgs","repos_url":"https://api.github.com/users/bagodoosh/repos","events_url":"https://api.github.com/users/bagodoosh/events{/privacy}","received_events_url":"https://api.github.com/users/bagodoosh/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-07-17T23:06:49Z","updated_at":"2018-07-18T16:18:57Z","closed_at":null,"author_association":"NONE","body":"i'm combining two entries here:\r\n\r\n1) enhancement: tags are case-sensitive. i.e. \"water\" is a different entry (in the Tags list) than \"Water\". i think it would make sense to make tags case-insensitive. (since Search is case-insensitive)\r\n\r\n2) issue: when renaming a tag containing uppercase to an existing lowercase tag, they become two identical yet separate tags. i.e. create #water. create #Water. rename \"Water\" to \"water\" (in the Tags list). now there exists two separate tag entries both named \"water\"."},"comment":{"url":"https://api.github.com/repos/standardnotes/desktop/issues/comments/405990091","html_url":"https://github.com/standardnotes/desktop/issues/202#issuecomment-405990091","issue_url":"https://api.github.com/repos/standardnotes/desktop/issues/202","id":405990091,"node_id":"MDEyOklzc3VlQ29tbWVudDQwNTk5MDA5MQ==","user":{"login":"mobitar","id":3277844,"node_id":"MDQ6VXNlcjMyNzc4NDQ=","avatar_url":"https://avatars2.githubusercontent.com/u/3277844?v=4","gravatar_id":"","url":"https://api.github.com/users/mobitar","html_url":"https://github.com/mobitar","followers_url":"https://api.github.com/users/mobitar/followers","following_url":"https://api.github.com/users/mobitar/following{/other_user}","gists_url":"https://api.github.com/users/mobitar/gists{/gist_id}","starred_url":"https://api.github.com/users/mobitar/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mobitar/subscriptions","organizations_url":"https://api.github.com/users/mobitar/orgs","repos_url":"https://api.github.com/users/mobitar/repos","events_url":"https://api.github.com/users/mobitar/events{/privacy}","received_events_url":"https://api.github.com/users/mobitar/received_events","type":"User","site_admin":false},"created_at":"2018-07-18T16:18:57Z","updated_at":"2018-07-18T16:18:57Z","author_association":"MEMBER","body":"Yeah..currently tags are not validated for duplicates. Probably would be a good idea to do so. For case sensitivity, I don't think we want to assume lowercase everything. Especially with sorting. #Water will be sorted in the beginning of the tags, whereas #water will be sorted at the end."}}
{"actor":{"display_login":"mobitar"}}