Commit Graph

791 Commits

Author SHA1 Message Date
mantikoros
fae28fed7c create: don't replace undefined antes 2022-02-05 19:02:13 -06:00
James Grugett
1c8c2a4126 Fix home error after new contracts 2022-02-05 15:56:42 -06:00
mantikoros
3baffd4a35 bet row: auto-close dialog after a trade is submitted 2022-02-05 12:26:11 -06:00
James Grugett
d0a56cd1af Merge branch 'send-all-data' 2022-02-04 20:22:43 -06:00
James Grugett
31fbd6b900 Send all comments and bets to home page, so feed loads immediately 2022-02-04 20:09:34 -06:00
mantikoros
f7b981c55c "winnings" => "trader profits" 2022-02-04 17:42:08 -06:00
mantikoros
d439a2e1c0 create page: fix ante resetting 2022-02-04 17:40:03 -06:00
mantikoros
1ab7a4162c fix market close date time 2022-02-04 17:38:40 -06:00
James Grugett
637a76cf34 Cache first step of generating feed: folds you follow and contracts you bet on. 2022-02-04 17:24:54 -06:00
James Grugett
247f5e9275 Add oldest sort 2022-02-04 16:04:30 -06:00
Austin Chen
0959ec7679 Show avatar on contract cards 2022-02-04 10:30:56 -08:00
Austin Chen
a46c311a99 Clean up titles on /home 2022-02-04 10:30:13 -08:00
mantikoros
b4a68bf436 redirect signed out users on /profile and /trades to homepage 2022-02-03 21:19:42 -06:00
James Grugett
6914e5d706 Fix merge error 2022-02-03 21:11:59 -06:00
mantikoros
03f36cf954
User profile (#44)
* add id, userId to comment

* change user info cloud function and script; move cleanUsername to common

* change user info script

* fix rules

* add fund button: useLocation hook

* profile page

* merge

* profile stuff

* avatar uploading to storage bucket

* changeUserInfo: use transaction

* Styles for profile page

* Edit mode for profile, and more styles

Co-authored-by: James Grugett <jahooma@gmail.com>
2022-02-03 21:04:56 -06:00
James Grugett
6a542e4530 Switch Folds menu option to Communities 2022-02-03 19:55:00 -06:00
James Grugett
ca89fd158d Make home communities look better on mobile. Add Covid & AI. 2022-02-03 19:00:17 -06:00
James Grugett
00f632ec47 Remove tw-elements for now 2022-02-03 18:10:19 -06:00
James Grugett
c36ce3e521 Change home tags to communities 2022-02-03 17:40:37 -06:00
James Grugett
e5f553fa1a Merge branch 'main' into custom-feed 2022-02-03 17:33:12 -06:00
James Grugett
d170e31f54 Switch from onSnapshot to our listenForValues, which doesn't set with partial cached values 2022-02-03 17:30:40 -06:00
James Grugett
587e1e5d61 Add loading spinner while feed loads 2022-02-03 17:12:09 -06:00
James Grugett
8e06e4351e Add tw-elements UI library 2022-02-03 17:11:38 -06:00
mantikoros
55aa2db553 resolution panel creator fee 2022-02-03 17:07:30 -06:00
mantikoros
4294481b5b change fee structure 2022-02-03 16:59:59 -06:00
James Grugett
3cf4cb7a77 Show custom feed of contracts from folds your follow or have bet on. 2022-02-03 16:54:08 -06:00
James Grugett
6c9f566d3d Add hashtag in tags of fold card 2022-02-03 14:13:51 -06:00
Austin Chen
426d41ba44 Surface a list of tags on /home 2022-02-03 11:00:49 -08:00
Austin Chen
193b9ae6bf Restyle /folds page 2022-02-03 10:47:26 -08:00
Austin Chen
6d6e127f7b Change Follow button to black 2022-02-03 01:49:53 -08:00
Austin Chen
65ff3ebdac "24 hour" => "24h" to save space 2022-02-03 01:48:44 -08:00
Austin Chen
e7433c2eec Save comment and description on ctrl+enter 2022-02-03 01:12:37 -08:00
Austin Chen
d0766fa7c3 Use the latest bet time for a feed group 2022-02-03 00:56:49 -08:00
James Grugett
a90e9b7083 Reorder fold page queries to be more in parallel 2022-02-03 00:19:59 -06:00
James Grugett
fdbaa5270b Show hot markets in fold feed 2022-02-02 23:58:27 -06:00
James Grugett
00ac581736 Show your performance in fold 2022-02-02 23:34:35 -06:00
James Grugett
32ce410092 Show Market tags if no communities. 2022-02-02 15:29:26 -06:00
James Grugett
95268844aa Add text to fold "about" explaining how markets are included. 2022-02-02 14:20:04 -06:00
mantikoros
6ad40cf75d bottom nav bar: change last item to your trades 2022-02-02 12:56:02 -06:00
James Grugett
f80ef1cd34 Add hot markets to home feed 2022-02-02 00:40:46 -06:00
mantikoros
375ce69b7d yarn devdev 2022-02-01 21:23:06 -06:00
James Grugett
0eac8d9c5c
Yarn workspaces (#42)
* Try yarn workspaces

* Add versions to sub package.json files
2022-02-01 15:25:51 -06:00
James Grugett
0a091831de Restyle tags 2022-02-01 15:03:06 -06:00
James Grugett
d6b855f0de Improve create fold button with icon and 'New' label 2022-02-01 14:10:40 -06:00
James Grugett
b95f258763 Add package.json to common directory, and lodash dependency 2022-02-01 12:59:51 -06:00
James Grugett
7e15c2870b Sort folds by followers in fold tag list 2022-02-01 12:47:31 -06:00
James Grugett
7c50b55331 Match lowercase tags for folds 2022-02-01 12:29:14 -06:00
James Grugett
96c1410f01 Rename Fold => Community in UI 2022-02-01 12:12:55 -06:00
James Grugett
565ded1063 Add folds links in market, hide tags behind Show tags toggle. 2022-02-01 12:06:42 -06:00
James Grugett
4e1174a4dc Option to disallow market creation from fold 2022-01-31 22:10:02 -06:00
James Grugett
5b5e6c78d6 Use expanding text area for description on make-predictions 2022-01-31 21:33:43 -06:00
James Grugett
3bbe6062e9 Change description input to use textarea 2022-01-31 21:31:49 -06:00
James Grugett
bc208df597 Add tags input for make-predictions 2022-01-31 21:13:37 -06:00
James Grugett
6525ffc6c3 Add ante and close date to make predictions 2022-01-31 20:58:41 -06:00
James Grugett
08eac5b0ef Add my calendly to about 2022-01-31 20:44:49 -06:00
James Grugett
2e1fdd7d7a Add border bottom back on fold page 2022-01-31 19:29:59 -06:00
Austin Chen
64fc0c74ff Replace bottom border with shadow 2022-01-31 17:07:12 -08:00
Austin Chen
6234b12f89 Bring up numeric keyboards on mobile 2022-01-31 17:05:01 -08:00
Austin Chen
7549cf6a89 Show a bottom navbar on mobile devices 2022-01-31 17:02:17 -08:00
mantikoros
d49656cb77 create: market close includes time 2022-01-30 23:20:27 -06:00
James Grugett
ff4bb3330a Change back to isProd = true 2022-01-30 22:29:16 -06:00
James Grugett
00b7f3505f Listen for contract updates in folds feed 2022-01-30 22:12:12 -06:00
James Grugett
9d2b99f237 Listen for updates of contracts on home 2022-01-30 22:03:20 -06:00
James Grugett
6427e1bd06 Save tags unique and case-insensitive. Don't clear added tags on updating description. 2022-01-30 21:25:52 -06:00
James Grugett
997f13d986 Make leaderboard not error on non-existant users 2022-01-30 21:25:52 -06:00
mantikoros
f06ca8305c
Resolve prob (#41)
* rename MKT to PROB; show resolved probability; move format utilities to common

* ProbabilitySelector

* resolve to PROB

* prob and mkt labels
2022-01-30 15:51:30 -06:00
James Grugett
855256816e Include tags in contract search 2022-01-30 15:30:49 -06:00
jahooma
ac9af1acd6 Don't load onSnapshot from cache in hook listen for contract (could help 404 errors?) 2022-01-29 23:05:32 -06:00
jahooma
967ac1b08d Negative margin prevented clicking on top half of bet row button 2022-01-29 21:21:57 -06:00
jahooma
9fa457dec8 Hide bet row when trading not allowed 2022-01-29 21:08:06 -06:00
jahooma
482654d06b Update folds SEO to include curator. 2022-01-28 13:45:32 -06:00
jahooma
f04d66d5c8 Don't focus feed create unless there's no question yet 2022-01-28 13:23:44 -06:00
jahooma
836c87b371 Make graph's fake datapoint farther out 2022-01-28 13:19:32 -06:00
jahooma
f75dc0200d Remove link create a market in placeholder 2022-01-28 12:54:15 -06:00
jahooma
53a6748c6d Hide negative earners on leaderboard. Show empty message if none on leaderboard. 2022-01-28 12:43:35 -06:00
jahooma
764790c1e1 Add simple Fold page SEO 2022-01-28 12:34:13 -06:00
jahooma
d5742900b0 Remove border on ask question form. Add padding to fold title on mobile 2022-01-28 12:13:12 -06:00
jahooma
acc95bbd9c Remove spacer in feed create 2022-01-27 18:07:12 -06:00
jahooma
1ab71f8521 Flip nav folds and markets 2022-01-27 17:55:23 -06:00
jahooma
99bb8fdeea Switch to regular text area for question b/c causing jump, and no new expansion necessary 2022-01-27 17:52:24 -06:00
jahooma
23ea1d72b7 Home menu option goes to /home if signed in 2022-01-27 17:33:50 -06:00
jahooma
49bc3c5735 Tweak profile menu width 2022-01-27 17:31:41 -06:00
mantikoros
63ca394d6e profile menu: use avatar component 2022-01-27 17:24:44 -06:00
mantikoros
bdb2cfd710 avatar component 2022-01-27 17:14:45 -06:00
jahooma
0cc108e1ac Fix the width of profile menu 2022-01-27 17:12:18 -06:00
James Grugett
649c6f4642
Make navbar render signed in or signed out by page (#39) 2022-01-27 17:06:31 -06:00
mantikoros
bd6c215cd3
use img instead of next js image for avatar, logo (#38) 2022-01-27 16:50:55 -06:00
jahooma
9b59ea9fbe Bring back global leaderboards linked from profile menu 2022-01-27 16:43:45 -06:00
jahooma
f2c4d3e9c1 Change to white backgrounds for content. Remove page's margin, set individually. 2022-01-27 16:37:43 -06:00
jahooma
77eaf070e6 Make clicking feed create focus input. Shrink create market button 2022-01-27 15:22:18 -06:00
jahooma
4ca1d33d65 Make tag page check lowercase tag field 2022-01-27 15:11:32 -06:00
mantikoros
6e2d16225e feedcreate: simplify design 2022-01-27 15:08:28 -06:00
jahooma
077eeec2c7 Fix hiding bet row on market page 2022-01-27 15:02:47 -06:00
jahooma
aebf572dc9 Shrink and label bet row 2022-01-27 14:49:59 -06:00
mantikoros
f451d94295 feedCreate: use hook for randIndex 2022-01-27 14:46:23 -06:00
mantikoros
e697024f52 FeedCreate: change placeholders, cycle through randomly 2022-01-27 14:40:46 -06:00
mantikoros
f58126e630 create: remove default close date 2022-01-27 14:31:09 -06:00
mantikoros
9acb07aa14 home: remove hot, closing soon sections 2022-01-27 14:23:55 -06:00
jahooma
bb788d5201 Change placeholder in fold create question 2022-01-27 14:05:59 -06:00
jahooma
6696ac2a15 Make about optional for folds 2022-01-27 12:57:36 -06:00
mantikoros
d2e78eb5de markets: make 24hr vol default sort 2022-01-27 12:48:47 -06:00
jahooma
9764a03189 Add create market to top of fold activity. Auto-adds the primary tag of the fold. 2022-01-27 12:45:35 -06:00
jahooma
64d46b7cdd Add folds navigation option on mobile 2022-01-27 01:30:51 -06:00
jahooma
61d2557c35 Launch folds in nav bar, update copy. 2022-01-27 01:10:28 -06:00
jahooma
d83fe1a202 Make feed create avatar not load glitchily 2022-01-27 00:49:23 -06:00
jahooma
769763d006 Tweaks 2022-01-27 00:38:42 -06:00
jahooma
da695c33f4 Fix profile menu opening underneath links 2022-01-27 00:38:42 -06:00
mantikoros
1eccdb7b4f homepage tweaks 2022-01-26 18:44:36 -06:00
Austin Chen
549926a323 Show Buy buttons next to prob on mobile 2022-01-26 18:31:01 -06:00
mantikoros
d9c67e8d49 new signed-out homepage 2022-01-26 18:21:25 -06:00
jahooma
33c8fe2bc0 Append tags from market page 2022-01-26 17:45:07 -06:00
jahooma
2e7a8210bb No symbols in fold primary tag. Limit Name to 140 chars 2022-01-26 17:45:07 -06:00
Austin Chen
c047365bb4 Include "Buy" tag inside buttons 2022-01-26 16:28:57 -06:00
jahooma
348c8d565a Fold delete 2022-01-26 14:56:15 -06:00
jahooma
b1abfcda8b Placeholder when no activity on folds page 2022-01-26 14:39:25 -06:00
jahooma
ef8157025f Compute fold follower count from cloud function. 2022-01-26 14:27:16 -06:00
Austin Chen
e4377ee3a3
Allow betting directly from the activity feed (#36)
* Show a popup for betting on the Activity feed

* Replace the popup with a YES/NO selector

* Autofocus the bet amount

* Hide BetRow when not appropriate

* Make bet modal larger on desktop

* Default to YES if no bet choice has been made yet
2022-01-26 14:08:03 -06:00
jahooma
76841e53b1 Follow and unfollow folds 2022-01-26 14:03:32 -06:00
jahooma
c3f49c44a0 Cardify folds in fold list 2022-01-26 12:44:16 -06:00
jahooma
8e511e7cc9 Add about to top of fold page on mobile. Layout tweaks 2022-01-26 12:02:53 -06:00
jahooma
2ea05f8913 Folds query on lowercase tags. Adding to description updates tags & lowercaseTags fields. 2022-01-25 17:52:21 -06:00
jahooma
8b0091f30d Split out create fold button. Show about description on /folds 2022-01-25 17:02:02 -06:00
jahooma
897eb0c27b Handle 404 errors for non-existent fold subpages 2022-01-25 15:44:32 -06:00
James Grugett
8b9d0e5dba
New fold page UI with tabs (#37)
* Tabbed fold page

* Implement market, leaderboard tab views for fold. And edit dialog

* Add about field to Fold
2022-01-25 14:47:25 -06:00
Austin Chen
e481b971d0 Show pool amount in feed 2022-01-25 13:31:25 -06:00
jahooma
ed9285dbc1 Make folds page more understandable. Add additional tags on fold creation 2022-01-24 16:58:51 -06:00
jahooma
705d5cada7 Add lowercaseTags field to contracts. ante / closeTime non-optional in new contract code 2022-01-24 16:33:10 -06:00
Austin Chen
793a2c6d6c Closing soon: hide already closed, show close time 2022-01-24 01:38:29 -06:00
Austin Chen
13590bf5d1 Surface user emails in /admin 2022-01-24 00:48:10 -06:00
Austin Chen
98064119e1 Remove unused UserCard 2022-01-24 00:48:10 -06:00
jahooma
d22a21caec Add 24 hour sort option. Rearrange options 2022-01-24 00:31:52 -06:00
jahooma
0e3e4b8192 Show unresolved markets first in fold 2022-01-23 23:55:48 -06:00
jahooma
bc3e43802b Listen for new folds on /folds 2022-01-23 23:48:10 -06:00
Austin Chen
f66bc6af4d Make placeholder text less prominent 2022-01-23 23:34:10 -06:00
jahooma
c5a5869f21 Sort by close date 2022-01-23 13:34:03 -06:00
jahooma
b9a82b652e Resolved markets sort by resolved time 2022-01-23 11:14:04 -06:00
jahooma
b059a44acc Use fold hook 2022-01-23 00:51:19 -06:00
jahooma
6cc2e6692e Fix DOM error for nested forms 2022-01-22 18:38:37 -06:00
mantikoros
fd03eb841f home: remove incomplete loading of contract data 2022-01-22 18:36:35 -06:00
mantikoros
7c124c1390 home: handle undefined props 2022-01-22 18:32:50 -06:00
jahooma
cff2611582 Add back dynamically loading feed 2022-01-22 18:26:56 -06:00
mantikoros
80776186aa
/home for signed in users (#35) 2022-01-22 18:16:23 -06:00
jahooma
e53dd78502 Fix types 2022-01-22 18:14:41 -06:00
jahooma
aa1022546d Implement leaderboards for folds! 2022-01-22 17:59:50 -06:00
jahooma
bc1decdbfc Initialize folds with one primary tag 2022-01-22 15:47:24 -06:00
jahooma
f0f7b85ed8 Change back typscript target to es5 2022-01-22 15:25:09 -06:00
jahooma
789df9a76d Add some catches 2022-01-22 15:21:52 -06:00
jahooma
fe912921eb Use nicer tag component for folds 2022-01-22 14:52:49 -06:00
jahooma
be82406c4d Include older contracts in fold feed 2022-01-22 11:50:09 -06:00
Austin Chen
2e3f1b4c52 Collapse long threads on the activity feed 2022-01-22 11:47:09 -06:00
jahooma
a5f953743f Remove create a market on mobile 2022-01-22 11:44:49 -06:00
jahooma
0617fedb17 Add /markets for fold 2022-01-22 11:39:35 -06:00
mantikoros
4698d119b4 activity, withoutAnteBets: check for undefined 2022-01-22 11:15:14 -06:00
Austin Chen
b95dfa0a33 Set "sign up" text to green; add #crypto 2022-01-21 18:36:19 -06:00
jahooma
affa9a5ab6 Change default sort of all markets to most traded 2022-01-21 18:31:20 -06:00
jahooma
9733056ce7 Hide hot and closing soon markets on all markets 2022-01-21 18:30:27 -06:00
Austin Chen
7e44af318b Truncate both question and comments in activity feed 2022-01-21 18:30:13 -06:00
jahooma
d357f51883 Reorg homepage. No feed when not signed in, add back hot & closing soon for signed 2022-01-21 18:28:12 -06:00
jahooma
b29e69a52c Remove timestamp from question feed item 2022-01-21 18:10:38 -06:00
James Grugett
60f68b178d
Folds (#34)
* Fold type, fold page, query for fold contracts

* Tsconfig: target esnext, nounused locals: false

* Store tags in field on contract. Script to update contract tags

* Show tags on fold page

* Load all fold comments server-side to serve better feed

* Fix the annoying firebase already initialized error!

* Add links to /edit and /leaderboards for fold

* Page with list of folds

* UI for creating a fold

* Create a fold

* Edit fold page
2022-01-21 17:21:46 -06:00
Austin Chen
5be6a75e4b
Create new markets directly from the feed (#33)
* Move hot & closing markets to All Markets

Soon to be named "Explore"

* Set up a question box on the homepage

* Show Leaderboards by default instead of Create

* Support full contract creation from homepage

* Force mt-0 on /markets

* Move description into info tooltip

* Add hint to ask a question

* Initialize close date to 1 week from today

* Add a promo section for logged-out users

* Add hashtags, remove mobile padding

* Rewrite promo copy

* Store hotContracts as static props
2022-01-21 12:33:58 -06:00
Austin Chen
9457ac9337 Show resolved markets on Admin page; show create & resolve times 2022-01-20 01:55:10 -05:00
mantikoros
1b5e33ca54 no ante selling 2022-01-19 16:36:55 -06:00
mantikoros
4c0a994174 about: remove open beta disclaimer, barb about praying mantises 2022-01-19 16:13:56 -06:00
mantikoros
df9b498e18 "Market closes" => "Trading ends" 2022-01-19 16:07:58 -06:00
mantikoros
4cca60b16e contract card: simplify date display 2022-01-19 16:01:54 -06:00
mantikoros
2320f0b962 show pool value everywhere 2022-01-19 16:01:18 -06:00
Austin Chen
b3282c4302 Improve SEO descriptions 2022-01-19 12:57:35 -05:00
Austin Chen
f3404b893d Shrink title on mobile screens 2022-01-19 12:17:22 -05:00
Austin Chen
b704f4fe78 Allow updating description even after contract close 2022-01-19 10:46:36 -05:00
Austin Chen
5ac77674ed Also show avatar url from contract feed 2022-01-19 03:16:22 -05:00
Austin Chen
f9780a2f69 Switch to feed "lollipops"
Doubt anyone else cares. Ideally these are also disconnected on top but it's hard to get the spacing to look right with variably-sized avatars.

Options:
- Keep as-is (lollipops)
- Revert to hardcoded `ring-gray-50`
- Fix icons to the same size
- Switch between `ring-gray-50` and `ring-white`
- Rewrite the CSS
2022-01-19 03:15:09 -05:00
Austin Chen
ed7902f77f Remove feed subicons; fix FeedBetGroup spacing 2022-01-19 02:54:00 -05:00
Austin Chen
78c461b26c Show creator avatar in feed 2022-01-19 02:34:36 -05:00
Austin Chen
b963cc2fe2 Show close time in feed 2022-01-19 02:10:54 -05:00
Austin Chen
f75fbfb4c5 Make textboxes in feed expandable 2022-01-19 01:43:54 -05:00
mantikoros
4528615863
Private user (#32)
* PrivateUser

* createUser: create private user; detect multiple signups

* include user properties in private user

* script: create private users

* unsubscribing from market resolution emails

* track total deposits
2022-01-18 21:36:46 -06:00
jahooma
21949abbe1 Shorter graph on mobile 2022-01-18 17:10:21 -06:00
jahooma
ee64c4e923 Bring back cards having different heights in a row 2022-01-18 16:55:39 -06:00
jahooma
d3031e0f10 Admin contracts tabel: Add visibility column, filter out resolved 2022-01-18 16:29:49 -06:00
jahooma
aa164cd5f5 Add contracts table to admin page 2022-01-18 16:10:40 -06:00
jahooma
142feaffff Don't show unlisted contracts in closing soon 2022-01-18 13:17:56 -06:00
jahooma
e6dbcbc4fd Prevent header jump on mobile 2022-01-18 13:16:35 -06:00
mantikoros
908c8c03e6
Create user cloud function (#31)
* createUser cloud function; change User object

* initial commit

* listenForLogin: avoid race condition

* createUser: allow capital letters in username

* remove debugging

* leaderboard: empty url for undefined avatar image
2022-01-18 01:18:38 -06:00
mantikoros
e6d467764d Don’t show negative values in feed for sales 2022-01-17 21:38:40 -06:00
James Grugett
6625983bb7
Leaderboards 🏅 (#30)
* Simple leaderboards

* Filter out SG from traders. Center leaderboard. Use Nextjs Image.

* Add leaderboards menu option

* Put leaderboards side-by-side on large screens

* Add medal emoji
2022-01-17 21:20:25 -06:00
jahooma
746a97c1df Don't hide children of datetime tooltip 2022-01-17 18:08:50 -06:00
jahooma
ead441ce9f Hide time tooltip on mobile as fix 2022-01-17 18:01:09 -06:00
jahooma
b86720e943 Fix feed not centered 2022-01-17 17:51:41 -06:00
jahooma
4d975ff512 Add closing soon section to home 2022-01-17 16:54:00 -06:00
jahooma
56c7e2597d Schedule cloud function to update user metrics: totalPnL, creatorVolume 2022-01-17 15:39:34 -06:00
Austin Chen
673c432bb9 Expose Firestore analytics on /analytics 2022-01-17 13:34:28 -05:00
Austin Chen
d32147b536 Show DateTime tooltips whereever we show dates 2022-01-16 04:16:15 -05:00
Austin Chen
8d474ef031 Switch to outlined icon 2022-01-16 02:14:21 -05:00
Austin Chen
7d7286b1c1
Denormalize the avatar URL on contract creation (#29) 2022-01-16 01:03:59 -05:00
Austin Chen
279437ba08
List users on admin page (#28)
* Admin page using gridjs

* Move hook into separate file

* Link to each user's Manifold and Firestore /user entry

* Gate admin access to Austin/James/Stephen

* Don't leak the existence of /admin

* Add a custom 404 page that directs to Discord.

* Fix broken window.location.href on NextJS server
2022-01-15 22:09:15 -05:00
Austin Chen
07709cdccb Fix Calendly link 2022-01-15 21:05:26 -05:00
jahooma
c13b71b754 Center create market page. Tweak labels 2022-01-15 19:02:01 -06:00
jahooma
4618b37c82 Correctly show all creator and tag markets 2022-01-15 17:56:16 -06:00
mantikoros
615d5874b3 Merge branch 'main' of https://github.com/manticmarkets/mantic 2022-01-15 17:31:56 -06:00