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

#162 Add demo nav menu to index.html #168

Merged
merged 1 commit into from
Oct 14, 2018
Merged

Conversation

filfreire
Copy link
Collaborator

No description provided.

@0crat
Copy link
Collaborator

0crat commented Oct 14, 2018

@filfreire/z this pull request is too small, just 8 lines changed (less than 10), there will be no formal code review, see §53 and §28; in the future, try to make sure your pull requests are not too small; @filfreire/z please review this and merge or reject

@filfreire
Copy link
Collaborator Author

@rultor merge

@rultor
Copy link
Collaborator

rultor commented Oct 14, 2018

@rultor merge

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

@rultor rultor merged commit b7e6fa5 into yegor256:master Oct 14, 2018
@rultor
Copy link
Collaborator

rultor commented Oct 14, 2018

@rultor merge

@filfreire Done! FYI, the full log is here (took me 3min)

@filfreire
Copy link
Collaborator Author

@rultor release, version is 1.3.3

@rultor
Copy link
Collaborator

rultor commented Oct 14, 2018

@rultor release, version is 1.3.3

@filfreire My current version is 1.68, Git revision is 838a77339

@filfreire
Copy link
Collaborator Author

@rultor release, tag is 1.3.3

@rultor
Copy link
Collaborator

rultor commented Oct 14, 2018

@rultor release, tag is 1.3.3

@filfreire OK, I will release it now. Please check the progress here

@rultor
Copy link
Collaborator

rultor commented Oct 14, 2018

@rultor release, tag is 1.3.3

@filfreire Done! FYI, the full log is here (took me 3min)

@0crat
Copy link
Collaborator

0crat commented Oct 14, 2018

Job gh:yegor256/tacit#168 is not assigned, can't get performer

@0crat
Copy link
Collaborator

0crat commented Oct 14, 2018

This job is not in scope

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.

3 participants