Skip to content

pygit2 1.15.0#172078

Closed
BrewTestBot wants to merge 1 commit intomasterfrom
bump-pygit2-1.15.0
Closed

pygit2 1.15.0#172078
BrewTestBot wants to merge 1 commit intomasterfrom
bump-pygit2-1.15.0

Conversation

@BrewTestBot
Copy link
Copy Markdown
Contributor

Created by brew bump


Created with brew bump-formula-pr.

@github-actions github-actions bot added the bump-formula-pr PR was created using `brew bump-formula-pr` label May 18, 2024
@chenrui333
Copy link
Copy Markdown
Member

    gcc-11 -Wsign-compare -DNDEBUG -g -O3 -Wall -fPIC -I/usr/local/include -I/home/linuxbrew/.linuxbrew/opt/python@3.11/include/python3.11 -c /tmp/pygit2-20240518-7901-4sfn4x/pygit2-1.15.0/src/blob.c -o build/temp.linux-x86_64-cpython-311/tmp/pygit2-20240518-7901-4sfn4x/pygit2-1.15.0/src/blob.o
    /tmp/pygit2-20240518-7901-4sfn4x/pygit2-1.15.0/src/blob.c:31:10: fatal error: git2/sys/errors.h: No such file or directory
       31 | #include <git2/sys/errors.h>
          |          ^~~~~~~~~~~~~~~~~~~
    compilation terminated.

probably relates to #166767

@github-actions

This comment was marked as resolved.

@github-actions github-actions bot added the stale No recent activity label May 21, 2024
@chenrui333 chenrui333 added help wanted Task(s) needing PRs from the community or maintainers and removed stale No recent activity labels May 21, 2024
@p-linnane p-linnane closed this Jun 7, 2024
@p-linnane p-linnane deleted the bump-pygit2-1.15.0 branch June 7, 2024 23:22
@github-actions github-actions bot added the outdated PR was locked due to age label Jul 8, 2024
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jul 8, 2024
@chenrui333
Copy link
Copy Markdown
Member

#176615

@chenrui333 chenrui333 added superseded PR was replaced by another PR blocked labels Jul 17, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

blocked bump-formula-pr PR was created using `brew bump-formula-pr` help wanted Task(s) needing PRs from the community or maintainers outdated PR was locked due to age superseded PR was replaced by another PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants