Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs.js now generates an empty file eodocs.html #440

Merged
merged 2 commits into from
Dec 19, 2024

Conversation

SenjeyB
Copy link
Contributor

@SenjeyB SenjeyB commented Dec 18, 2024

No description provided.

@SenjeyB
Copy link
Contributor Author

SenjeyB commented Dec 18, 2024

@yegor256 Can you take a look at this one, please?

@yegor256
Copy link
Member

@rultor merge

@rultor
Copy link
Contributor

rultor commented Dec 19, 2024

@rultor merge

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here.

@rultor rultor merged commit 1edc808 into objectionary:master Dec 19, 2024
13 checks passed
@rultor
Copy link
Contributor

rultor commented Dec 19, 2024

@rultor merge

@yegor256 Done! FYI, the full log is here (took me 22min).

@yegor256
Copy link
Member

@SenjeyB thanks!

@0crat
Copy link

0crat commented Dec 26, 2024

@SenjeyB It is not a good idea to name Git branches the way you named this one: "main". You've earned -12 points. Next time, better give your branch the same name as the number of the ticket that you are solving. In this case, a perfect name, for example, would be "439".

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants