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

chore: preparations for the release of the new site #528

Merged
merged 1 commit into from
Aug 23, 2022

Conversation

TomerFi
Copy link
Owner

@TomerFi TomerFi commented Aug 23, 2022

Signed-off-by: Tomer Figenblat tomer.figenblat@gmail.com

Pull Request

First PR? don't hesitate, push it.

Description

Describe what you did and why.

Related issue (if any): fixes #issue_number_goes_here

Checklist

  • I have followed this repository's contributing guidelines.
  • I have used the conventional commits specification for my commit messages.
  • I have signed my commits.
  • I will adhere to the project's code of conduct.

Additional information

Anything else?

Signed-off-by: Tomer Figenblat <tomer.figenblat@gmail.com>
@pull-request-size pull-request-size bot added the size: l Pull request has 100 to 500 lines label Aug 23, 2022
@trafico-bot trafico-bot bot added the status: needs review Pull request needs a review label Aug 23, 2022
@github-actions
Copy link

Test Results

29 tests   29 ✔️  0s ⏱️
  1 suites    0 💤
  1 files      0

Results for commit ea49583.

@codecov
Copy link

codecov bot commented Aug 23, 2022

Codecov Report

Merging #528 (ea49583) into dev (102ee32) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##               dev      #528   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            2         2           
  Lines          117       117           
=========================================
  Hits           117       117           

@TomerFi TomerFi merged commit fb1db52 into dev Aug 23, 2022
@TomerFi TomerFi deleted the site-final-touchups branch August 23, 2022 08:15
@trafico-bot trafico-bot bot added status: merged Pull request merged and removed status: needs review Pull request needs a review labels Aug 23, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size: l Pull request has 100 to 500 lines status: merged Pull request merged
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant