Skip to content

[pull] main from is-a-dev:main - #719

Merged
pull[bot] merged 68 commits into
devliq:mainfrom
is-a-dev:main
Nov 5, 2025
Merged

[pull] main from is-a-dev:main#719
pull[bot] merged 68 commits into
devliq:mainfrom
is-a-dev:main

Conversation

@pull

@pull pull Bot commented Nov 5, 2025

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

ghous56 and others added 30 commits November 1, 2025 09:57
Fix JSON: added records field with CNAME
Updated portfolio details and domain information.
Removed the domain entry from the portfolio JSON.
Removed subdomain entry from portfolio JSON.
Change-Id: Idc613957248b21d44354163dacc95e126e235bdd
Signed-off-by: AbdAlMoniem AlHifnawy <hifnawy_moniem@hotmail.com>
Kzren and others added 27 commits November 5, 2025 21:58
Add riccardo.json for domain configuration
Request: ghousportfolio.json for personal portfolio site
Add _github-pages-challenge-wasabina67.wasabina67.json
Add JSON configuration for rupesh.is-a.dev
add abdalmoniem-alhifnawy subdomain
Add JSON configuration for GitHub Pages challenge
Add syscat.json for domain configuration
Update email and URL in mrlipx.json
Update the time period for the stale workflow
Co-authored-by: John Aerial J. Azcune <65322242+STICKnoLOGIC@users.noreply.github.com>
Co-authored-by: John Aerial J. Azcune <65322242+STICKnoLOGIC@users.noreply.github.com>
@pull pull Bot locked and limited conversation to collaborators Nov 5, 2025
@pull pull Bot added the ⤵️ pull label Nov 5, 2025
@pull
pull Bot merged commit 3534e23 into devliq:main Nov 5, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.