Skip to content

Activity

Showing most recent first

Deleted branch

pivovaritdeleted pivovarit-patch-1 • 
on Mar 27

Deleted branch

pivovaritdeleted remove-donate • 
on Mar 27

Deleted branch

pivovaritdeleted pivovarit-patch-2 • 
on Mar 27

Deleted branch

pivovaritdeleted favicon-update • 
on Mar 27

Deleted branch

pivovaritdeleted release-information • 
on Mar 27

Deleted branch

pivovaritdeleted fix-css • 
on Mar 27

Deleted branch

pivovaritdeleted update-webpage • 
on Mar 27

Create CNAME

pivovaritpushed 1 commit to master • fb265e5…6f4006d • 
on Mar 27

Delete CNAME

pivovaritpushed 1 commit to master • 4936f81…fb265e5 • 
on Mar 27

Create CNAME

pivovaritpushed 1 commit to master • 834a4a7…4936f81 • 
on Mar 27

Delete CNAME

pivovaritpushed 1 commit to master • 368f626…834a4a7 • 
on Mar 27

update favicons (#21)

Pull request merge
pivovaritpushed 1 commit to master • 4a688aa…368f626 • 
on Mar 26

update favicons

Force push
pivovaritforce pushed to favicon-update • e0cd165…9fadcc9 • 
on Mar 26

update favicons

pivovaritcreated favicon-update • e0cd165 • 
on Mar 26

Include 0.10.6 release information (#20)

Pull request merge
pivovaritpushed 1 commit to master • 63438f4…4a688aa • 
on Feb 9

Include 0.10.6 release information

pivovaritcreated release-information • e18116b • 
on Feb 9

fix css (#19)

Pull request merge
pivovaritpushed 1 commit to master • 8e995ad…63438f4 • 
on Jan 18

fix css

pivovaritcreated fix-css • 32846f5 • 
on Jan 18

Update webpage (#18)

Pull request merge
pivovaritpushed 1 commit to master • a282297…8e995ad • 
on Jan 18

Update webpage

pivovaritcreated update-webpage • ae83da1 • 
on Jan 18

Deleted branch

pivovaritdeleted display-new-owner • 
on Sep 24, 2024

New ownership announcement (#17)

Pull request merge
pivovaritpushed 1 commit to master • 643eee9…a282297 • 
on Sep 24, 2024

New ownership announcement

pivovaritcreated display-new-owner • 9c03b16 • 
on Sep 24, 2024

Point docs at docs.vavr.io

pivovaritpushed 1 commit to master • 296ba0e…643eee9 • 
on Aug 6, 2024

Update index.html (#16)

Pull request merge
pivovaritpushed 1 commit to master • 58c8bfb…296ba0e • 
on Aug 6, 2024

Update index.html

pivovaritcreated pivovarit-patch-2 • 38ea9fa • 
on Aug 6, 2024

Update index.html (#15)

Pull request merge
pivovaritpushed 1 commit to master • 634ca17…58c8bfb • 
on Aug 6, 2024

Update index.html

pivovaritcreated remove-donate • b51c246 • 
on Aug 6, 2024

Use docs.vavr.io (#14)

Pull request merge
pivovaritpushed 1 commit to master • 7ab4a49…634ca17 • 
on Aug 6, 2024

Use docs.vavr.io

pivovaritcreated pivovarit-patch-1 • 9bd0393 • 
on Aug 6, 2024