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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix a broken link in README #978

Merged
merged 1 commit into from Jul 10, 2023
Merged

Conversation

JacekDuszenko
Copy link
Contributor

@JacekDuszenko JacekDuszenko commented Jul 8, 2023

Replaced a broken link to Aladino docs in README

Description

Summary generated by Reviewpad on 10 Jul 23 08:31 UTC

This pull request fixes a broken link in README. It replaces a broken link to Aladino docs in the README file. Now the link points to the correct location for the Aladino Language documentation.

馃 Generated by Copilot at f0e3cb5

This pull request fixes a broken link in the README.md file of the reviewpad project. It updates the link to the Aladino language specification to point to the correct URL.

Code review and merge strategy

Ship: this pull request can be automatically merged and does not require code review

How

馃 Generated by Copilot at f0e3cb5

  • Update the link to the Aladino language specification in README.md (link)

Replaced a broken link to Aladino docs in README
@reviewpad reviewpad bot added the external-contribution External contribution label Jul 8, 2023
@reviewpad
Copy link

reviewpad bot commented Jul 8, 2023

Reviewpad Report

鈩癸笍 Messages

@reviewpad reviewpad bot added ship Pull request can be automatically merged and does not require code review small small pull request labels Jul 8, 2023
@reviewpad
Copy link

reviewpad bot commented Jul 8, 2023

Welcome @JacekDuszenko! Thank you so much for your first pull request! The team will review it as soon as possible.

@reviewpad
Copy link

reviewpad bot commented Jul 8, 2023

The pull request cannot be merged. The rule should block pull request is not satisfied.

Copy link
Member

@ferreiratiago ferreiratiago left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for this contribution @JacekDuszenko This is great 馃挭

Copy link

@reviewpad reviewpad bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some checks are failing. Please fix them.

@ferreiratiago
Copy link
Member

Hey @JacekDuszenko It looks like we were missing some permissions configuration on our workflow. We have updated the workflow on the main branch. Can I kindly ask you to rebase your branch with main? Thank you.

@reviewpad
Copy link

reviewpad bot commented Jul 10, 2023

Pull request is not up to date with the base branch. Reviewpad will rebase it.

@reviewpad
Copy link

reviewpad bot commented Jul 10, 2023

The pull request cannot be merged. The rule should block pull request is not satisfied.

@ferreiratiago ferreiratiago merged commit 0d0b986 into reviewpad:main Jul 10, 2023
1 check passed
@reviewpad
Copy link

reviewpad bot commented Jul 10, 2023

馃搱 Pull Request Metrics

馃捇 Coding Time: 10 seconds
馃浕 Pickup Time: 1 day
馃憖 Review Time: 3 hours

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
external-contribution External contribution ship Pull request can be automatically merged and does not require code review small small pull request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants