Mike
0 Followers · 0 Following
  • Joined on 2026-01-31
Repositories
14
 Projects Packages Public Activity Starred Repositories
Mike pushed to master at Mike/ralpi 2026-08-10 16:44:53 -04:00
5e7cee15e3 workflow: trim PORTING_TOKEN (paste newlines break oauth2 auth) + fail loudly when missing
Mike pushed to master at Mike/deepi-research 2026-08-10 16:07:31 -04:00
2a2155e871 port: stub omp README (omp install + source link); source README install via npm
Mike pushed to master at Mike/ralpi 2026-08-10 16:07:30 -04:00
7594ca06f5 port: stub omp README (omp install + source link); source README install via npm
Mike pushed to master at Mike/ralpi 2026-08-10 15:56:48 -04:00
890988b72c port: refuse dst inside src (realpath-normalized) + workflow clones omp repo outside checkout
Mike pushed to master at Mike/deepi-research 2026-08-10 15:56:48 -04:00
ba14a89b1a port: refuse dst inside src (realpath-normalized) + workflow clones omp repo outside checkout
Mike pushed to master at Mike/deepi-research 2026-08-10 15:29:09 -04:00
6760bcd174 rename Actions secret to PORTING_TOKEN (GITEA_/GITHUB_ prefixes are reserved)
Mike pushed to master at Mike/ralpi 2026-08-10 15:29:09 -04:00
540862d7d0 rename Actions secret to PORTING_TOKEN (GITEA_/GITHUB_ prefixes are reserved)
Mike created branch main in Mike/omp-deepi-research 2026-08-10 15:03:26 -04:00
Mike pushed to main at Mike/omp-deepi-research 2026-08-10 15:03:26 -04:00
f2cbc88c28 regenerate omp port from pi base via port-to-omp (byte-identical; bun.lock refresh)
88abadfabf initial import: @mikefreno/omp-deepi-research (omp port)
Mike pushed to main at Mike/omp-ralpi 2026-08-10 15:03:24 -04:00
e4103e48ed regenerate omp port from pi base via port-to-omp (byte-identical; bun.lock refresh)
a9757c6fce initial import: @mikefreno/omp-ralpi (omp port)
Mike created branch main in Mike/omp-ralpi 2026-08-10 15:03:24 -04:00
Mike created repository Mike/omp-deepi-research 2026-08-10 15:03:15 -04:00
Mike created repository Mike/omp-ralpi 2026-08-10 15:02:54 -04:00
Mike pushed tag v0.3.1 to Mike/PodTui 2026-08-10 13:45:30 -04:00
Mike pushed to master at Mike/PodTui 2026-08-10 13:45:29 -04:00
8ac1ec1162 bump VERSION to 0.3.1
Mike pushed to master at Mike/deepi-research 2026-08-10 12:24:18 -04:00
a8761600ca add port-to-omp.mjs + Gitea Actions workflow (regenerate omp port on push)
Mike pushed to master at Mike/ralpi 2026-08-10 12:24:16 -04:00
cb35ee044c add port-to-omp.mjs + Gitea Actions workflow (regenerate omp port on push)
Mike pushed to master at Mike/ralpi 2026-08-10 10:47:40 -04:00
3b586ea92d remove legacy skills/ralpi-use.md and its manifest wiring
Mike pushed to master at Mike/PodTui 2026-08-10 10:38:35 -04:00
4a94ff5910 feat: labeled loading spinners + [Fetch More] pagination on the feed list
2e69868ffc Build standalone binary with bunfig autoload disabled
491a736c32 Restore center-pane borders, move title to top-left slot
12bd6be4bc Remove borders and accent ring from PaneRow panes
Compare 4 commits »
Mike pushed to master at Mike/PodTui 2026-08-09 23:40:45 -04:00
d2f6c5c525 some hygiene
f758b53336 drop tasks dir
Compare 2 commits »