Currently, the 2018 and 2019 meeting notes use @Ricci A syntax for tags, rather than GitHub handles (@iccir). When accessing the meeting notes on Dropbox, a user can hover over the corresponding tag to see the user's full name and e-mail address.
There were 16 users tagged in such a way before we moved to hackmd in 2020. I can convert 13 of these to GitHub handles with a few lines of code. 3 users appear to have deleted their Dropbox account.
The question: are there privacy concerns with doing so?
On one hand, DropBox showing full names and e-mail addresses is likely a more-egregious concern than GitHub handle. This is all publicly accessible on Dropbox (although you will join a list of people that have viewed the old document). On the other hand, the privacy section of my brain loathes to add any kind of PII without direct consent from the individual.
Currently, the 2018 and 2019 meeting notes use
@Ricci Asyntax for tags, rather than GitHub handles (@iccir). When accessing the meeting notes on Dropbox, a user can hover over the corresponding tag to see the user's full name and e-mail address.There were 16 users tagged in such a way before we moved to hackmd in 2020. I can convert 13 of these to GitHub handles with a few lines of code. 3 users appear to have deleted their Dropbox account.
The question: are there privacy concerns with doing so?
On one hand, DropBox showing full names and e-mail addresses is likely a more-egregious concern than GitHub handle. This is all publicly accessible on Dropbox (although you will join a list of people that have viewed the old document). On the other hand, the privacy section of my brain loathes to add any kind of PII without direct consent from the individual.