Miroslav Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								4cdbf598c0
								
							
						 | 
						
							
							
								
								Merge branch 'mk-stricter-tokenizer' into 'master'
							
							
							
							
							
							
							
							use stricter unicode-aware tokenizer separator
See merge request lcsb/sps/reploy!4 
							
						 | 
						
							2023-09-08 10:36:02 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								f8ae6710e8
								
							
						 | 
						
							
							
								
								use unicode-aware tokenizer separator
							
							
							
							
							
						 | 
						
							2023-09-07 22:14:32 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								6666730fa0
								
							
						 | 
						
							
							
								
								add rsync to the dockerfile for simpler deployment
							
							
							
							
							
						 | 
						
							2023-09-06 09:32:26 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								800969bed4
								
							
						 | 
						
							
							
								
								fix a few docs
							
							
							
							
							
						 | 
						
							2023-08-15 13:43:39 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								b4bbc0f1b3
								
							
						 | 
						
							
							
								
								support custom metadata per build
							
							
							
							
							
							
							
							Closes #13 
							
						 | 
						
							2023-08-03 14:12:18 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								8d2c3c229c
								
							
						 | 
						
							
							
								
								fixup some leftovers in link creation
							
							
							
							
							
						 | 
						
							2023-08-02 13:56:11 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								d4e1fdeaeb
								
							
						 | 
						
							
							
								
								use Mustache objects for rendering, allow lambdas and manual URL rooting
							
							
							
							
							
						 | 
						
							2023-08-02 13:51:14 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								a50cb2eae6
								
							
						 | 
						
							
							
								
								bound aeson for microlens compatibility
							
							
							
							
							
						 | 
						
							2023-07-21 21:42:41 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								e930e2e35d
								
							
						 | 
						
							
							
								
								remove hakyll from deps
							
							
							
							
							
							
							
							Closes #12 
							
						 | 
						
							2023-07-21 21:03:53 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								9834ea90dd
								
							
						 | 
						
							
							
								
								allow adding full paths to .../index.html files, fix minor extra stuff
							
							
							
							
							
						 | 
						
							2023-07-21 20:40:25 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								4303d67cbc
								
							
						 | 
						
							
							
								
								actually rename the executable right?
							
							
							
							
							
						 | 
						
							2023-07-21 20:06:13 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								45caf22a6c
								
							
						 | 
						
							
							
								
								document more
							
							
							
							
							
						 | 
						
							2023-07-21 11:20:37 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								c5390463a3
								
							
						 | 
						
							
							
								
								document what happens to the links
							
							
							
							
							
						 | 
						
							2023-07-21 11:12:09 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								435f1aff3c
								
							
						 | 
						
							
							
								
								rename the executable to reploy
							
							
							
							
							
						 | 
						
							2023-07-21 10:54:45 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								83e6f4afb8
								
							
						 | 
						
							
							
								
								fix README and cabal
							
							
							
							
							
						 | 
						
							2023-07-21 10:53:54 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								b00646faab
								
							
						 | 
						
							
							
								
								add proper licenses
							
							
							
							
							
						 | 
						
							2023-07-21 10:15:11 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								6d4f78e739
								
							
						 | 
						
							
							
								
								add build tools
							
							
							
							
							
						 | 
						
							2023-07-20 09:54:36 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								98d5ccac55
								
							
						 | 
						
							
							
								
								ok let's have versions
							
							
							
							
							
						 | 
						
							2023-07-20 00:14:20 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								614054a72e
								
							
						 | 
						
							
							
								
								make the contents completely generic
							
							
							
							
							
						 | 
						
							2023-07-19 20:39:41 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								0e717b5dda
								
							
						 | 
						
							
							
								
								use human tag names for search indexes
							
							
							
							
							
						 | 
						
							2023-07-16 19:45:33 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								4a32e69bff
								
							
						 | 
						
							
							
								
								log not.
							
							
							
							
							
						 | 
						
							2023-07-16 19:35:37 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								0749bee908
								
							
						 | 
						
							
							
								
								include tags in search
							
							
							
							
							
						 | 
						
							2023-07-16 19:33:07 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								00d1e45682
								
							
						 | 
						
							
							
								
								actually add the search box
							
							
							
							
							
						 | 
						
							2023-07-14 11:15:17 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								c632444325
								
							
						 | 
						
							
							
								
								implement the veeeeeeery nice search box
							
							
							
							
							
							
							
							cc @laurent.heirendt
Closes #8 
							
						 | 
						
							2023-07-14 11:04:29 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								44ac9f9b8a
								
							
						 | 
						
							
							
								
								use the semicond font for smaller headings and title cards
							
							
							
							
							
						 | 
						
							2023-07-14 08:55:03 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								bbe86ea8b0
								
							
						 | 
						
							
							
								
								add semi-condensed barlow
							
							
							
							
							
						 | 
						
							2023-07-14 08:49:14 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								efa26d0f68
								
							
						 | 
						
							
							
								
								sidebar template fix
							
							
							
							
							
						 | 
						
							2023-07-04 15:29:36 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								e0183b28c4
								
							
						 | 
						
							
							
								
								start extending the extensions
							
							
							
							
							
						 | 
						
							2023-06-22 15:16:42 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								a066d48ba9
								
							
						 | 
						
							
							
								
								limit image width
							
							
							
							
							
						 | 
						
							2023-06-22 15:07:20 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								2c792ff967
								
							
						 | 
						
							
							
								
								fix the path splitting issue for directory exclusion
							
							
							
							
							
						 | 
						
							2023-06-22 13:09:02 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Miroslav Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								2ea84315db
								
							
						 | 
						
							
							
								
								Merge branch 'mk-modification-timestamps' into 'master'
							
							
							
							
							
							
							
							add a script for sourcing the timestamps from gits
Closes #2
See merge request R3-core/websites-dev/reploy!3 
							
						 | 
						
							2023-06-22 11:43:39 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								a2dd9384b4
								
							
						 | 
						
							
							
								
								tag the docker images with short sha to allow depending on versions
							
							
							
							
							
							
							
							cc @ronan.tremoreux 
							
						 | 
						
							2023-06-22 11:43:28 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								fa7d1fab55
								
							
						 | 
						
							
							
								
								avoid overwriting timestamps if they are forced by markdown already
							
							
							
							
							
						 | 
						
							2023-06-22 11:43:28 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								91900a323c
								
							
						 | 
						
							
							
								
								add a script for sourcing the timestamps from gits
							
							
							
							
							
							
							
							Fixes #2 
							
						 | 
						
							2023-06-22 11:43:28 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								65944a1cdf
								
							
						 | 
						
							
							
								
								make a separate scripts directory (this gonna grow)
							
							
							
							
							
						 | 
						
							2023-06-22 11:43:28 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								c86ece1433
								
							
						 | 
						
							
							
								
								implement sourcing of timestamp files
							
							
							
							
							
						 | 
						
							2023-06-22 11:43:20 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Ronan Tremoureux
							
						 | 
						
							
							
							
							
								
							
							
								73d1920b62
								
							
						 | 
						
							
							
								
								Merge branch 'mk-dont-source-assets' into 'master'
							
							
							
							
							
							
							
							avoid source dirs
Closes #4
See merge request R3-core/websites-dev/reploy!2 
							
						 | 
						
							2023-06-22 09:13:37 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								e44c0d35b4
								
							
						 | 
						
							
							
								
								avoid source dirs
							
							
							
							
							
							
							
							Fixes #4 
							
						 | 
						
							2023-06-22 09:01:25 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								9228ea2965
								
							
						 | 
						
							
							
								
								format
							
							
							
							
							
						 | 
						
							2023-06-22 09:01:14 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								fa3612d3fc
								
							
						 | 
						
							
							
								
								remove the temporary codeCheck card
							
							
							
							
							
						 | 
						
							2023-06-19 11:29:06 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								debe5453ed
								
							
						 | 
						
							
							
								
								Revert "preparing to add folder policies containing md of the policies"
							
							
							
							
							
							
							
							This reverts commit 5f213ff3cb.
(This belongs elsewhere) 
							
						 | 
						
							2023-06-19 10:52:00 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								92a5a0365b
								
							
						 | 
						
							
							
								
								do not show the search hints by default
							
							
							
							
							
						 | 
						
							2023-06-19 10:50:19 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								6cbe3d4dfc
								
							
						 | 
						
							
							
								
								actually output the correct file
							
							
							
							
							
						 | 
						
							2023-06-19 10:50:11 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Ronan Tremoureux
							
						 | 
						
							
							
							
							
								
							
							
								c6c99ab85c
								
							
						 | 
						
							
							
								
								Merge branch 'prepareForPolicies' into 'master'
							
							
							
							
							
							
							
							preparing to add folder policies containing md of the policies
See merge request R3-core/websites-dev/reploy!1 
							
						 | 
						
							2023-06-19 10:22:56 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								ronan.tremoureux
							
						 | 
						
							
							
							
							
								
							
							
								5f213ff3cb
								
							
						 | 
						
							
							
								
								preparing to add folder policies containing md of the policies
							
							
							
							
							
						 | 
						
							2023-06-19 10:21:06 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								87ee5df0fe
								
							
						 | 
						
							
							
								
								style
							
							
							
							
							
						 | 
						
							2023-06-19 00:09:47 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								6cd0b9f663
								
							
						 | 
						
							
							
								
								configurable tocs
							
							
							
							
							
						 | 
						
							2023-06-18 22:11:01 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								8fd47d38bb
								
							
						 | 
						
							
							
								
								source and use humanized tag names
							
							
							
							
							
						 | 
						
							2023-06-18 19:44:07 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								d792ed815e
								
							
						 | 
						
							
							
								
								clean up the cookie banner code
							
							
							
							
							
						 | 
						
							2023-06-18 18:25:40 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								ce44f744c2
								
							
						 | 
						
							
							
								
								s h i n y
							
							
							
							
							
						 | 
						
							2023-06-18 18:25:26 +02:00 | 
						
						
							
							
							
								
							
							
						 |