Update the webdav server port #2

Merged

mahmoud merged 5 commits from development_files into development 2026-02-10 10:39:21 +00:00

Conversation 0 Commits 5 Files changed 3 +29 -7

mahmoud commented 2026-02-10 10:39:13 +00:00

Owner

Copy link

No description provided.

mahmoud added 5 commits 2026-02-10 10:39:13 +00:00

build: configure local path overrides for dependencies ... fcfce49ae3

- Add local override for `hero_archipelagos_filesystem`
- Add local override for `hero_archipelagos_core`
- Add local override for `heroforge-webdav-client`

Merge branch 'development' into development_files fa213cc100

Merge branch 'development' into development_files 342204b9fc

refactor: update service configuration and context API ... 4b2e68ae4e

- Change `hero_forge` port to `18080`
- Set default `HERO_HOST` to `127.0.0.1`
- Adapt `ContextInfo` mapping for SDK field changes
- Deprecate `update_context_theme` functionality
- Add local patches for `hero_archipelagos` development

Merge branch 'development' into development_files b9ebee30d8

mahmoud merged commit e7ac0dda83 into development 2026-02-10 10:39:21 +00:00

mahmoud referenced this pull request from a commit 2026-02-10 10:39:22 +00:00

Merge pull request 'Update the webdav server port' (#2) from development_files into development

mahmoud deleted branch development_files 2026-02-10 10:39:24 +00:00

Commenting is not possible because the repository is archived.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

lhumina_code/hero_wasmos!2

No description provided.