Skip to content
New issue

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

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

Already on GitHub? # to your account

re-PR Olegs work #106

Closed
wants to merge 3 commits into from
Closed

re-PR Olegs work #106

wants to merge 3 commits into from

Conversation

bgruening
Copy link
Contributor

@OlegZharkov let's see :)

@github-actions
Copy link

Differences in biotools between this PR and original bio-tools/content master branch!
BioTools affected:
added: 0 modified: 0 deleted: 0

@OlegZharkov
Copy link
Contributor

OlegZharkov commented Feb 28, 2020

@bgruening so bot works only on PRs from someone who has rights to push to this directory.
It looks like a github-actions bug, here is related issue actions/first-interaction#10

@OlegZharkov
Copy link
Contributor

OlegZharkov commented Feb 28, 2020

@bgruening I guess it would be just easier to merge that one #94. Bioschemas created a lot of conflicts here. At least we know that bot actually does something, when you have write rights (although it shouldn't be like that)

@bgruening bgruening closed this Feb 28, 2020
@bgruening bgruening deleted the foo branch February 28, 2020 22:22
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants