initial commit: fork

This commit is contained in:
2023-10-27 10:31:20 +02:00
commit a52dbbc103
195 changed files with 17484 additions and 0 deletions

View File

@@ -0,0 +1,12 @@
local SOURCE = KEYS[1]
local DESTINATION = KEYS[2]
local value = redis.call('rpop', SOURCE)
if value then
redis.call('set', DESTINATION, value)
return value
end
redis.call('del', DESTINATION)
return nil