This PR introduces the integer group column to the Device table.
Devices will have a matching group if and only if they also match in all other hardware-specific attributes (aside from uuid).
A new data endpoint, grouped_data, has been added. The output format matches that of raw_data, but there's only one entry for each group.
Some minor frontend changes were made to implement the new leaderboard and switch to it using the dropdown in the navbar. I'm not tied to any of the design decisions here, and it might be a stretch to even call them "decisions" given that my front-end knowledge doesn't leave me with many alternatives. They're all part of the same commit so should be easy to revert if desired.
This PR also fixes some issues which prevented page assets from working properly in production mode.
This PR introduces the integer
groupcolumn to the Device table.groupif and only if they also match in all other hardware-specific attributes (aside fromuuid).grouped_data, has been added. The output format matches that ofraw_data, but there's only one entry for each group.This PR also fixes some issues which prevented page assets from working properly in production mode.