question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Moving lektor-website into this repository

See original GitHub issue

The Lektor website currently lives in its own repository. I’d like to streamline the commit process by moving it into this repository as a folder (website/). I think this has been discussed in other issues but I can’t seem to find any mention of it.

Why I think this is better:

  • PRs can fix both documentation and code in one go which means documentation will always be in sync with the code
  • Dogfooding Lektor master and ensure that Lektor master can build a decently sized site

What I propose:

  • Export the lektor-website commit history verbatim into website/ (technically not verbatim since commit hashes will be rewritten, but close enough)
  • Remove assets/static/ and let CI build it instead. We may want to prune this before importing to avoid growing the Lektor repository size
  • Migrate to GitHub actions from Travis and auto-deploy
  • Move issues from lektor-website to lektor
  • Remove/archive lektor-website

Issue Analytics

  • State:open
  • Created 3 years ago
  • Comments:20 (19 by maintainers)

github_iconTop GitHub Comments

2reactions
runfalkcommented, Apr 21, 2020

If we’re discussing hosting doesn’t it make the most sense to just use the GitHub provided one? You can have custom domain names for it.

1reaction
starworldxcommented, Apr 21, 2020

I agree with @runfalk , AWS is a rock solid option for web hosting but it would be nice to know if the Lektor site sees enough traffic and has long load times to justify expanding Lektor project infrastructure vs simplicity of GitHub pages. As an example, if most of our website visitors are repeat visitors coming back for documentation, we don’t risk of losing them as users if the site takes an extra second to load. Github pages still would likely be faster than what it is now.

Read more comments on GitHub >

github_iconTop Results From Across the Web

Moving lektor-website into this repository · Issue #756 - GitHub
The Lektor website currently lives in its own repository. I'd like to streamline the commit process by moving it into this repository as...
Read more >
Moving a git repository - Stack Overflow
Lets say I move the Project folder somewhere else, would I have to change anything? Or is all the repository stuff in the...
Read more >
lektor/lektor - Gitter
i am deploying from my local machine to VPS by "lektor deploy production" and it works fine, because local user ssh key is...
Read more >
Something in the jenkins setup is reverting the website to an older ...
Someone on IRC pinged us to report that the links to download Tor Browser from ... The git repository has the correct version,...
Read more >
how to move full git repository - YouTube
how to move full git repositorygit remote origingit remote removegit add remote origingit remote add upstreamgit remote set-urlgit remove ...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found