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.

Sign up for GitHub

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

Jump to bottom

Fix master branch hash in tags.txt file #188

Closed
maxonfjvipon opened this issue Oct 11, 2023 · 1 comment
Closed

Fix master branch hash in tags.txt file #188

maxonfjvipon opened this issue Oct 11, 2023 · 1 comment
Labels
bug

Comments

@maxonfjvipon
Copy link
Member

Current hash of master branch in tags.txt file is invalid, need to replace it with the correct one.
Also it would be nice to check if it's changed and update it automatically on every PR merge.
maxonfjvipon added a commit to maxonfjvipon/home that referenced this issue Oct 11, 2023
@maxonfjvipon
fix(objectionary#188): update hash of master and gh-pages
d58b385
@maxonfjvipon maxonfjvipon mentioned this issue Oct 11, 2023
Merged
yegor256 added a commit that referenced this issue Oct 11, 2023
@yegor256
Merge pull request #189 from maxonfjvipon/fix/#188/correct-master-branch
fb0950d 
fix(#188): update hash of master and gh-pages
maxonfjvipon added a commit to maxonfjvipon/home that referenced this issue Oct 13, 2023
@maxonfjvipon
fix(objectionary#188): fix sed
ce0933e
@maxonfjvipon maxonfjvipon mentioned this issue Oct 13, 2023
Merged
yegor256 added a commit that referenced this issue Oct 14, 2023
@yegor256
Merge pull request #191 from maxonfjvipon/fix/#188/fix-pages-CI
c28d5e7 
fix(#188): fix pages CI
@maxonfjvipon
Copy link
Member Author

It seems everything works fine, so I close it

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@maxonfjvipon