Labels

Bug / Feature specific to android

Feature / request on the backlog - to be prioritized

Bluetooth proximity functionality

Something isn't working

Features/Algorithms with data science aspect to it

Pull requests that update a dependency file

Request for developer productivity (dev tools, CI, linters, etc).

Hold off on merging! This can be used for various reasons, Work in Progress, outside legal review...

Improvements or additions to documentation

This issue or pull request already exists

Enhancing an existing feature or a request

Good for newcomers

Extra attention is needed

High importance / High value

This doesn't seem right

Bug / Feature specific to ios

Pull requests that update Javascript code

Before beginning work on this issue, join the Slack channel to discuss the work

Still gathering info; low impact; unclear

Further information is requested

Technical issues that we need to come back to

Need a native speaker to validate translation. Type "Approve" in comments section.

UI or UX related

This will not be worked on

Don't merge quite yet, still in progress