Skip to content

change references from 3.1dev to 3.2 #2377

Merged
drwetter merged 7 commits into3.2from
3.1dev_to_3.2_references
Jul 31, 2023
Merged

change references from 3.1dev to 3.2 #2377
drwetter merged 7 commits into3.2from
3.1dev_to_3.2_references

Conversation

@drwetter
Copy link
Copy Markdown
Collaborator

@drwetter drwetter commented Jul 31, 2023

... as we renamed the "main" branch

drwetter added 7 commits July 31, 2023 12:40
.. to scan.

It worked in a few examples locally. Other hosts I tried so far weren't
available anymore (like scanme.nmap.org). In order to reduce the burden
we scan now only during PRs.
@drwetter drwetter merged commit c888475 into 3.2 Jul 31, 2023
@drwetter drwetter deleted the 3.1dev_to_3.2_references branch July 31, 2023 15:15
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.

1 participant