chore: remove references to 'develop' in dev workflow

.github/PULL_REQUEST_TEMPLATE.md

@@ -20,7 +20,6 @@ _Put an `x` in the boxes that apply_
 _Put an `x` in the boxes that apply._
 
 - [ ] I have read the [CONTRIBUTING](../blob/main/CONTRIBUTING.md) doc
-- [ ] I am making a pull request against the `develop` branch (left side). Also you should start your branch off our `develop`.
 - [ ] Lint and unit tests pass locally with my changes
 - [ ] I have added tests that prove my fix is effective or that my feature works
 

.github/RELEASE_PR.md

@@ -11,17 +11,17 @@ Describe in short the main changes with the new release.
 _Put an `x` in the boxes that apply._
 
 - [ ] I have read the [CONTRIBUTING](../main/CONTRIBUTING.rst) doc
-- [ ] I am making a pull request against the `main` branch (left side), from `develop`
+- [ ] I am making a pull request against the `main` branch
 - [ ] I've updated the dependencies versions in `Pipfile` to the latest, wherever is possible.
 - [ ] Lint and unit tests pass locally (please run tests also manually, not only with `tox`)
 - [ ] I built the documentation and updated it with the latest changes
 - [ ] I've added an item in `CHANGES.md` for this release
 - [ ] I bumped the version number in the `__version__.py` file.
 - [ ] I published the latest version on TestPyPI and checked that the following command work:
-       ```pip install hoa2dot==<version-number> --index-url https://test.pypi.org/simple --force --no-cache-dir --no-deps```
+       ```pip install pddl==<version-number> --index-url https://test.pypi.org/simple --force --no-cache-dir --no-deps```
 - [ ] After merging the PR, I'll publish the build also on PyPI. Then, I'll make sure the following
       command will work:
-      ```pip install hoa2dot==<version_number> --force --no-cache-dir --no-deps```  
+      ```pip install pddl==<version_number> --force --no-cache-dir --no-deps```  
 - [ ] After merging the PR, I'll tag the repo with `v${VERSION_NUMVER}` (e.g. `v0.1.2`)
 
 

.github/workflows/docs.yml

@@ -3,7 +3,6 @@ name: docs
 on:
   push:
     branches:
-      - develop
       - main
   pull_request:
 

.github/workflows/linting.yml

@@ -3,7 +3,6 @@ name: lint
 on:
   push:
     branches:
-      - develop
       - main
   pull_request:
 

.github/workflows/test.yml

@@ -3,7 +3,6 @@ name: test
 on:
   push:
     branches:
-      - develop
       - main
   pull_request: