search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 480 forks source link

Feature/docusaurus post launch 2nd time #6194

Closed joseph-fajen closed 3 months ago

joseph-fajen commented 3 months ago

Adding styling updates from Andrew Larbi. Changing the term 'Documentation' to 'User guide' in the upper left area next to the wordmark 'PLUTUS'. This slightly renamed branch was created to correct an issue that unexpectedly came up that brought in code from another branch.

joseph-fajen commented 3 months ago

I think this branch still has code from Ana that I didn't intend to include. Earlier I encountered a conflict when pushing a commit and I thought at the time that it made sense to do a --rebase command. That may be what caused this issue. I just want to back up and start over, only bringing in the documentation design changes. Should be a simple thing, but I haven't sorted it out correctly yet. :/

joseph-fajen commented 3 months ago

I wonder, though, if this branch got merged as is, would that be ok? It just might be redundant if Ana's code had previously already been committed and merged. Sorry for the hassle!