This repository has been archived on 2023-12-16. You can view files and clone it, but cannot push or open issues or pull requests.
|
alter table user_notebook add column rank numeric;
|
|
-- You should also run the tools/set_ranks.py script to rank unranked notebooks.
|