didericis
0 Followers · 0 Following
  • Joined on 2025-09-19
Repositories
6
 Projects Packages Public Activity Starred Repositories
didericis approved didericis/bot-bottle#227 2026-06-10 03:05:27 -04:00
Require explicit opt-in for HTTPS Git fetch
didericis created branch issue-226-explicit-git-fetch-policy in didericis/bot-bottle 2026-06-10 03:00:16 -04:00
didericis pushed to issue-226-explicit-git-fetch-policy at didericis/bot-bottle 2026-06-10 03:00:16 -04:00
3f04567290 egress: require opt-in for HTTPS git fetch
didericis deleted branch fix/git-gate-push-options from didericis/bot-bottle 2026-06-10 02:40:19 -04:00
didericis pushed to main at didericis/bot-bottle 2026-06-10 02:40:19 -04:00
acb9cd67c6 fix(git-gate): forward push options
didericis closed issue didericis/bot-bottle#217 2026-06-10 02:40:19 -04:00
Git gate does not accept force push option
didericis merged pull request didericis/bot-bottle#225 2026-06-10 02:40:18 -04:00
fix(git-gate): forward push options
didericis pushed to fix/git-gate-push-options at didericis/bot-bottle 2026-06-10 02:36:52 -04:00
acb9cd67c6 fix(git-gate): forward push options
d90ab7e646 ci: enforce pylint threshold
8ea90adcaf fix: raise git http body cap
Compare 3 commits »
didericis pushed to main at didericis/bot-bottle 2026-06-10 02:32:11 -04:00
d90ab7e646 ci: enforce pylint threshold
8ea90adcaf fix: raise git http body cap
Compare 2 commits »
didericis pushed to fix/git-gate-push-options at didericis/bot-bottle 2026-06-10 02:21:53 -04:00
5696e5870e fix(git-gate): forward push options
didericis created branch fix/git-gate-push-options in didericis/bot-bottle 2026-06-10 02:21:53 -04:00
didericis pushed to prd-0054-install-script at didericis/bot-bottle 2026-06-10 01:39:55 -04:00
3d010887d7 Merge remote-tracking branch 'origin/main' into prd-0054-install-script-ff
de803e1e76 chore: update quality badges
Compare 2 commits »
didericis pushed to prd-0054-install-script at didericis/bot-bottle 2026-06-10 01:38:17 -04:00
5c3286693a docs: activate install script prd
78a7bebd55 feat: add install script packaging
Compare 2 commits »
didericis pushed to prd-0054-install-script at didericis/bot-bottle 2026-06-10 01:31:10 -04:00
64ad8a9c38 ci(prd): rename PRD to prd-new placeholder per new convention
ffe01366d5 docs(prd): renumber PRD 0054 → 0057 (0054 slot taken by named-labelled-agents)
cd12f7eef6 docs(prd): PRD 0054 - install script
019efab804 fix: narrow pi numeric settings types
957d37f51f fix: merge egress routes across extends
Compare 88 commits »
didericis deleted branch merge-egress-routes from didericis/bot-bottle 2026-06-10 01:30:50 -04:00
didericis pushed to main at didericis/bot-bottle 2026-06-10 01:30:48 -04:00
019efab804 fix: narrow pi numeric settings types
957d37f51f fix: merge egress routes across extends
Compare 2 commits »
didericis merged pull request didericis/bot-bottle#224 2026-06-10 01:30:46 -04:00
Merge egress routes across extends
didericis closed issue didericis/bot-bottle#223 2026-06-10 01:30:46 -04:00
Merge egress routes when extending
didericis pushed to merge-egress-routes at didericis/bot-bottle 2026-06-10 01:13:09 -04:00
019efab804 fix: narrow pi numeric settings types
957d37f51f fix: merge egress routes across extends
8e084262a0 chore: update quality badges
Compare 3 commits »
didericis pushed to merge-egress-routes at didericis/bot-bottle 2026-06-10 00:30:27 -04:00
7562c8b3f0 fix: narrow pi numeric settings types