Mitchell Rosen
|
722ae5ae1d
|
indent call to launch
|
2021-04-25 20:57:20 -04:00 |
|
Mitchell Rosen
|
f4e353f925
|
⅄ trunk → codebase2-merge-trunk
|
2021-04-25 20:46:03 -04:00 |
|
mergify[bot]
|
65a8ff839d
|
Merge pull request #1885 from unisonweb/topic/suffixifiedbindings
Suffixify binding names in the definitions API
|
2021-04-23 03:03:35 +00:00 |
|
Rúnar
|
e77f77b8b4
|
Merge branch 'trunk' of github.com:unisonweb/unison into topic/suffixifiedbindings
|
2021-04-22 22:36:49 -04:00 |
|
Rúnar
|
1063708450
|
Make suffixification optional
|
2021-04-22 22:33:28 -04:00 |
|
Rúnar
|
9a7a1fd78e
|
Always suffixify types and terms on the server.
|
2021-04-22 21:58:45 -04:00 |
|
Rúnar
|
2782d522db
|
Add an option to suffixify binding names in defs
|
2021-04-22 15:13:00 -04:00 |
|
mergify[bot]
|
efe0e12886
|
Merge pull request #1883 from unisonweb/topic/defntags
Add term tags and type tags to GetDefinitions endpoint
|
2021-04-22 18:13:10 +00:00 |
|
Rúnar
|
1350371f88
|
Add term tags and type tags to definitions
|
2021-04-22 13:53:55 -04:00 |
|
Paul Chiusano
|
70eb99273a
|
Merge pull request #1879 from unisonweb/topic/serverenv
Don't ignore UCM_PORT environment variable
|
2021-04-21 15:24:01 -05:00 |
|
Arya Irani
|
1900f20138
|
copy upgrade12 tests to gitsimple also
|
2021-04-21 14:04:24 -06:00 |
|
Arya Irani
|
91020f526d
|
remove explicit db connection cleanup actions
while we come up with a better design
|
2021-04-21 13:53:47 -06:00 |
|
Arya Irani
|
2b5708d013
|
add more Queries logging options
|
2021-04-21 13:38:44 -06:00 |
|
Rúnar
|
404196bcdd
|
Fixes #1878
|
2021-04-21 15:21:29 -04:00 |
|
Rúnar
|
b0dd6e5496
|
Merge pull request #1872 from unisonweb/topic/serverenv
Don't wait for CTRL-D before starting up server
|
2021-04-15 21:35:01 -04:00 |
|
Rúnar
|
e0a008f916
|
Simplify
|
2021-04-15 21:24:05 -04:00 |
|
Rúnar
|
ab9845af67
|
Don't wait for CTRL-D before starting up server
|
2021-04-15 21:01:37 -04:00 |
|
Arya Irani
|
401b938a50
|
fix typo
|
2021-04-15 16:38:29 -06:00 |
|
Arya Irani
|
3f3d74d709
|
move setNamespaceRoot call out of syncToDir and into git push
|
2021-04-15 16:27:09 -06:00 |
|
Arya Irani
|
1362cdfaa5
|
removed accidental trace from transcripts
|
2021-04-15 14:05:45 -06:00 |
|
Arya Irani
|
2851b704ce
|
save initial empty branch after creating codebase schema
|
2021-04-15 14:01:46 -06:00 |
|
Arya Irani
|
5635edd9eb
|
implement something untested for rootBranchUpdates
|
2021-04-15 13:21:22 -06:00 |
|
Rúnar
|
5b3e7f13e9
|
Merge pull request #1865 from unisonweb/topic/fzf-endpoint
Add an endpoint for codebase search
|
2021-04-15 14:29:40 -04:00 |
|
Rúnar
|
64deff76c5
|
revert some useless changes
|
2021-04-15 14:25:46 -04:00 |
|
Rúnar
|
fb97726ddb
|
Add generated cabal files
|
2021-04-15 13:22:30 -04:00 |
|
Rúnar
|
8fab375b06
|
Consistent field naming
|
2021-04-15 13:17:40 -04:00 |
|
Rúnar
|
b437e09a53
|
Merge branch 'trunk' of github.com:unisonweb/unison into topic/fzf-endpoint
|
2021-04-15 10:41:55 -04:00 |
|
Arya Irani
|
743578bb69
|
verify data version and hash before utilizing root branch cache
|
2021-04-14 23:48:28 -06:00 |
|
Rúnar
|
b92f04104a
|
Update to fzf 3
|
2021-04-14 21:34:31 -04:00 |
|
mergify[bot]
|
477371ba97
|
Merge pull request #1853 from unisonweb/topic/doc2a
New documentation format
|
2021-04-15 01:27:14 +00:00 |
|
Paul Chiusano
|
494ed7cbd6
|
Added a few comments and tweaked formatting
|
2021-04-14 20:10:57 -05:00 |
|
Paul Chiusano
|
73b9eb1424
|
Text alignment functions are no longer builtin
|
2021-04-14 15:29:49 -05:00 |
|
Rúnar
|
f84d7a2f26
|
Fix bug with "test" tag
|
2021-04-14 14:55:22 -04:00 |
|
Rúnar
|
a3ba691b3e
|
Upgrade fzf
|
2021-04-14 12:03:44 -04:00 |
|
Arya Irani
|
2187c574d4
|
rewrite Ops.saveBranch with smarter short-circuit
|
2021-04-14 03:03:15 -06:00 |
|
Arya Irani
|
6c91c9050c
|
redundant imports
|
2021-04-12 18:47:00 -06:00 |
|
Arya Irani
|
722748f0b8
|
formatting
|
2021-04-12 17:13:43 -06:00 |
|
Arya Irani
|
9f6f613280
|
fix v2 sync display condition and add quiet flag
|
2021-04-12 16:05:23 -06:00 |
|
Arya Irani
|
2746c13ce2
|
cache root branch
|
2021-04-12 13:26:10 -06:00 |
|
Rúnar
|
42a13baebb
|
Add best names and type definitions to fzf
|
2021-04-12 15:00:44 -04:00 |
|
Arya Irani
|
66f410544f
|
fix v2 bug for transcript.fork
|
2021-04-12 10:56:54 -06:00 |
|
Arya Irani
|
4d37edeca7
|
count branch replacement as a warning
|
2021-04-12 10:56:34 -06:00 |
|
Rúnar
|
02aa20cdca
|
newtype Width to avoid shenanigans
|
2021-04-12 12:47:02 -04:00 |
|
Paul Chiusano
|
4704cbf4f2
|
Added some comments to IOSource
|
2021-04-12 09:25:18 -05:00 |
|
Arya Irani
|
1bc5abcff9
|
fix upgrade12
|
2021-04-10 23:20:49 -06:00 |
|
Arya Irani
|
df5827f9d3
|
fix typo in optimized flag
|
2021-04-10 12:29:51 -06:00 |
|
Arya Irani
|
20678bb18a
|
fix codebase.upgrade12.metadataForType test
|
2021-04-10 12:22:20 -06:00 |
|
Arya Irani
|
1b39da6077
|
sync progress debug false
|
2021-04-10 00:47:30 -06:00 |
|
Arya Irani
|
b3831a071b
|
fix bug in referent type lookup
|
2021-04-10 00:43:25 -06:00 |
|
Arya Irani
|
8c03576c28
|
move Operations debug trace stuff around
|
2021-04-10 00:42:30 -06:00 |
|